Data Structures and Algorithms

Authors and titles for October 2012

[51] arXiv:1210.0481 (cross-list from cs.DB) [pdf, other]

Title: Leapfrog Triejoin: a worst-case optimal join algorithm

Todd L. Veldhuizen

Subjects: Databases (cs.DB); Data Structures and Algorithms (cs.DS)

[52] arXiv:1210.0508 (cross-list from cs.LG) [pdf, other]

Title: Inference algorithms for pattern-based CRFs on sequence data

Rustem Takhanov, Vladimir Kolmogorov

Comments: Algorithmica accepted version

Journal-ref: Algorithmica, September 2016, Volume 76, Issue 1, pp 17-46

Subjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS)

[53] arXiv:1210.0664 (cross-list from cs.GT) [pdf, other]

Title: Triadic Consensus: A Randomized Algorithm for Voting in a Crowd

Ashish Goel, David Lee

Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)

[54] arXiv:1210.0748 (cross-list from cs.DB) [pdf, other]

Title: External memory bisimulation reduction of big graphs

Yongming Luo, George H. L. Fletcher, Jan Hidders, Yuqing Wu, Paul De Bra

Comments: 17 pages

Subjects: Databases (cs.DB); Data Structures and Algorithms (cs.DS)

[55] arXiv:1210.0864 (cross-list from cs.LG) [pdf, other]

Title: Learning mixtures of structured distributions over discrete domains

Siu-on Chan, Ilias Diakonikolas, Rocco A. Servedio, Xiaorui Sun

Comments: preliminary full version of soda'13 paper

Subjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS); Statistics Theory (math.ST)

[56] arXiv:1210.1095 (cross-list from q-bio.GN) [pdf, other]

Title: Reevaluating Assembly Evaluations with Feature Response Curves: GAGE and Assemblathons

Francesco Vezzi, Giuseppe Narzisi, Bud Mishra

Comments: Submitted to PLoS One. Supplementary material available at this http URL and this http URL

Subjects: Genomics (q-bio.GN); Data Structures and Algorithms (cs.DS)

[57] arXiv:1210.1429 (cross-list from math.AT) [pdf, other]

Title: Computing homology and persistent homology using iterated Morse decomposition

Paweł Dłotko, Hubert Wagner

Subjects: Algebraic Topology (math.AT); Data Structures and Algorithms (cs.DS)

[58] arXiv:1210.1544 (cross-list from q-bio.NC) [pdf, other]

Title: Reconstruction of Sparse Circuits Using Multi-neuronal Excitation (RESCUME)

Tao Hu, Dmitri B. Chklovskii

Comments: 9 pages, 6 figures. Advances in Neural Information Processing Systems (NIPS) 22, 790 (2009)

Subjects: Neurons and Cognition (q-bio.NC); Data Structures and Algorithms (cs.DS)

[59] arXiv:1210.2453 (cross-list from cs.DB) [pdf, other]

Title: Automata-based Static Analysis of XML Document Adaptation

Alessandro Solimando (University of Genova, Italy), Giorgio Delzanno (University of Genova, Italy), Giovanna Guerrini (University of Genova, Italy)

Comments: In Proceedings GandALF 2012, arXiv:1210.2028

Journal-ref: EPTCS 96, 2012, pp. 85-98

Subjects: Databases (cs.DB); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)

[60] arXiv:1210.2515 (cross-list from cs.CE) [pdf, other]

Title: Protein Inference and Protein Quantification: Two Sides of the Same Coin

Ting Huang, Peijun Zhu, Zengyou He

Comments: 14 Pages, This paper has submitted to RECOMB2013

Subjects: Computational Engineering, Finance, and Science (cs.CE); Data Structures and Algorithms (cs.DS); Quantitative Methods (q-bio.QM)

[61] arXiv:1210.2610 (cross-list from cs.LO) [pdf, other]

Title: Counting and generating lambda terms

Katarzyna Grygiel, Pierre Lescanne (LIP)

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS)

[62] arXiv:1210.2698 (cross-list from cs.CC) [pdf, other]

Title: Improved Approximation Lower Bounds for Vertex Cover on Power Law Graphs and Some Generalizations

Mikael Gast, Mathias Hauptmann, Marek Karpinski

Comments: 26 pages, 6 figures

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Optimization and Control (math.OC)

[63] arXiv:1210.3266 (cross-list from cs.SI) [pdf, other]

Title: Detecting dense communities in large social and information networks with the Core & Peel algorithm

Marco Pellegrini, Filippo Geraci, Miriam Baglioni

Subjects: Social and Information Networks (cs.SI); Data Structures and Algorithms (cs.DS); Physics and Society (physics.soc-ph)

[64] arXiv:1210.3277 (cross-list from cs.DC) [pdf, other]

Title: Shortest, Fastest, and Foremost Broadcast in Dynamic Networks

Arnaud Casteigts, Paola Flocchini, Bernard Mans, Nicola Santoro

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[65] arXiv:1210.3368 (cross-list from cs.DC) [pdf, other]

Title: An optimized conflict-free replicated set

Annette Bieniusa (INRIA Rocquencourt), Marek Zawirski (INRIA Rocquencourt, LIP6), Nuno Preguiça (CITI), Marc Shapiro (INRIA Rocquencourt, LIP6), Carlos Baquero (Universidade do Minho Departamento de Informática), Valter Balegas (CITI), Sérgio Duarte (CITI)

Comments: No. RR-8083 (2012)

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)

[66] arXiv:1210.3962 (cross-list from math.OC) [pdf, other]

Title: Improved Canonical Dual Algorithms for the Maxcut Problem

Xiaojun Zhou

Subjects: Optimization and Control (math.OC); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Numerical Analysis (math.NA)

[67] arXiv:1210.3978 (cross-list from cs.CR) [pdf, other]

Title: Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints

J. Crampton, R. Crowston, G. Gutin, M. Jones, M. S. Ramanujan

Subjects: Cryptography and Security (cs.CR); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[68] arXiv:1210.4081 (cross-list from cs.NA) [pdf, other]

Title: Getting Feasible Variable Estimates From Infeasible Ones: MRF Local Polytope Study

Bogdan Savchynskyy, Stefan Schmidt

Comments: 20 page, 4 figures

Subjects: Numerical Analysis (math.NA); Computer Vision and Pattern Recognition (cs.CV); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Optimization and Control (math.OC)

[69] arXiv:1210.4367 (cross-list from math.CO) [pdf, other]

Title: Connect Four and Graph Decomposition

Laurent Evain, Mathias Lederer, Bjarke Hammersholt Roune

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[70] arXiv:1210.4446 (cross-list from cs.NI) [pdf, other]

Title: Wireless Network Stability in the SINR Model

Eyjolfur I. Asgeirsson, Magnus M. Halldorsson, Pradipta Mitra

Comments: 10 pages, appeared in SIROCCO'12

Subjects: Networking and Internet Architecture (cs.NI); Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)

[71] arXiv:1210.4663 (cross-list from cs.DB) [pdf, other]

Title: A PRQ Search Method for Probabilistic Objects

Jack Wang

Comments: 33 pages

Subjects: Databases (cs.DB); Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS)

[72] arXiv:1210.4811 (cross-list from cs.DM) [pdf, other]

Title: Single Source - All Sinks Max Flows in Planar Digraphs

Jakub Łącki, Yahav Nussbaum, Piotr Sankowski, Christian Wulff-Nilsen

Comments: 25 pages, 4 figures; extended abstract appeared in FOCS 2012

Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

[73] arXiv:1210.4874 (cross-list from cs.AI) [pdf, other]

Title: Dynamic Stochastic Orienteering Problems for Risk-Aware Applications

Hoong Chuin Lau, William Yeoh, Pradeep Varakantham, Duc Thien Nguyen, Huaxing Chen

Comments: Appears in Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence (UAI2012)

Subjects: Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS)

[74] arXiv:1210.4891 (cross-list from cs.DB) [pdf, other]

Title: Hokusai - Sketching Streams in Real Time

Sergiy Matusevych, Alex Smola, Amr Ahmed

Comments: Appears in Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence (UAI2012)

Subjects: Databases (cs.DB); Data Structures and Algorithms (cs.DS)

[75] arXiv:1210.4906 (cross-list from cs.AI) [pdf, other]

Title: Efficient MRF Energy Minimization via Adaptive Diminishing Smoothing

Bogdan Savchynskyy, Stefan Schmidt, Joerg Kappes, Christoph Schnoerr

Comments: Appears in Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence (UAI2012)

Subjects: Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS)

[76] arXiv:1210.5048 (cross-list from math.OC) [pdf, other]

Title: Convergence of SDP hierarchies for polynomial optimization on the hypersphere

Andrew C. Doherty, Stephanie Wehner

Comments: 45 pages, amsmath, comments welcome, for readers in quantum information: contains de Finetti theorem, v2: improved explanations, additional bound

Subjects: Optimization and Control (math.OC); Data Structures and Algorithms (cs.DS); Mathematical Physics (math-ph); Quantum Physics (quant-ph)

[77] arXiv:1210.5155 (cross-list from math.AC) [pdf, other]

Title: Computation of Jeffrey-Kirwan residue using Gröbner basis

Zsolt Szilágyi

Comments: 12 pages. Section 6 rewritten

Journal-ref: Journal of Symbolic Com- putation 79 (2017), 327-341

Subjects: Commutative Algebra (math.AC); Data Structures and Algorithms (cs.DS)

[78] arXiv:1210.5677 (cross-list from cs.CC) [pdf, other]

Title: Local Correction with Constant Error Rate

Noga Alon, Amit Weinstein

Comments: 17 pages

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Information Theory (cs.IT)

[79] arXiv:1210.6286 (cross-list from cs.DC) [pdf, other]

Title: A one-bit swap object using test-and-sets and a max register

James Aspnes

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)

[80] arXiv:1210.6411 (cross-list from cs.DC) [pdf, other]

Title: A structural analysis of the A5/1 state transition graph

Andreas Beckmann (Goethe-Universität Frankfurt), Jaroslaw Fedorowicz (Goethe-Universität Frankfurt), Jörg Keller (FernUniversität in Hagen), Ulrich Meyer (Goethe-Universität Frankfurt)

Comments: In Proceedings GRAPHITE 2012, arXiv:1210.6118

Journal-ref: EPTCS 99, 2012, pp. 5-19

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Cryptography and Security (cs.CR); Data Structures and Algorithms (cs.DS)

[81] arXiv:1210.6624 (cross-list from cs.FL) [pdf, other]

Title: Advanced Automata Minimization

Lorenzo Clemente, Richard Mayr

Comments: 15 pages

Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS)

[82] arXiv:1210.6646 (cross-list from cs.ET) [pdf, other]

Title: Efficient Inner-product Algorithm for Stabilizer States

Hector J. Garcia, Igor L. Markov, Andrew W. Cross

Comments: 14 pages, 5 figures, 3 tables

Subjects: Emerging Technologies (cs.ET); Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS); Quantum Physics (quant-ph)

[83] arXiv:1210.6917 (cross-list from cs.DM) [pdf, other]

Title: Sampling-based proofs of almost-periodicity results and algorithmic applications

Eli Ben-Sasson, Noga Ron-Zewi, Madhur Tulsiani, Julia Wolf

Comments: 28 pages

Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

[84] arXiv:1210.6963 (cross-list from cs.GT) [pdf, other]

Title: Schulze and Ranked-Pairs Voting are Fixed-Parameter Tractable to Bribe, Manipulate, and Control

Lane A. Hemaspaandra, Rahman Lavaee, Curtis Menton

Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS); Multiagent Systems (cs.MA)

[85] arXiv:1210.7970 (cross-list from cs.GT) [pdf, other]

Title: Greedy Selfish Network Creation

Pascal Lenzner

Comments: 28 pages, 8 figures. An extended abstract of this work was accepted at WINE'12

Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)

[86] arXiv:1210.8099 (cross-list from cs.CC) [pdf, other]

Title: An Atypical Survey of Typical-Case Heuristic Algorithms

Lane A. Hemaspaandra, Ryan Williams

Comments: This article is currently scheduled to appear in the December 2012 issue of SIGACT News

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS)

[87] arXiv:1210.8123 (cross-list from cs.CG) [pdf, other]

Title: Limited-Capacity Many-To-Many Point Matching in One Dimension

Fatemeh Rajabi-Alni, Alireza Bagheri

Comments: 20pages, 13figures

Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS)