Mathematical Foundations of Computer Science 2014

Table of Contents - Volume II.- Algorithms, Complexity and Games.- On r-Simple k-Path.- Low-Depth Uniform Threshold Circuits and the Bit-Complexity of Straight Line Programs.- Zero Knowledge and Circuit Minimization.- A Tight Lower Bound on Certificate Complexity in Terms of Block Sensitivity and Sensitivity.- n)-Space and Polynomial-time Algorithm for Planar Directed Graph Reachability.- Forbidden Induced Subgraphs and the Price of Connectivity for Feedback Vertex Set.- Network-Based Dissolution.- On Unification of QBF Resolution-Based Calculi.- Minimum planar multi-sink cuts with connectivity priors.- The Price of Envy-Freeness in Machine Scheduling.- On the Complexity of Some Ordering Problems.- The Relationship Between Multiplicative Complexity and Nonlinearity.- Find Dual Connectedness of Edge-Bicolored Graphs and Beyond.- Combinatorial Voter Control in Elections.- An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas.- On the Limits of Depth Reduction at Depth 3 Over Small Finite Fields.- Hitting forbidden subgraphs in graphs of bounded treewidth.- Probabilistic Analysis of Power Assignments.- Existence of Secure Equilibrium in Multi-Player Games with Perfect Information.- An efficient quantum algorithm for finding hidden parabolic subgroups in the general linear group.- A Note on the Minimum Distance of Quantum LDPC Codes.- Minimum Bisection is NP-hard on Unit Disk Graphs.- Query-Competitive Algorithms for Cheapest Set Problems under Uncertainty.- Streaming Kernelization.- A Reconfigurations Analogue of Brooks' Theorem.- Intersection Graphs of L-Shapes and Segments in the Plane.- Autoreducibility and Mitoticity of Logspace-Complete Sets for NP and Other Classes.- Editing to a Connected Graph of Given Degrees.- Circuit Complexity of Properties of Graphs with Constant Planar Cutwidth.- On Characterizations of Randomized Computation Using Plain Kolmogorov Complexity.- New Results for Non-Preemptive Speed Scaling.- Lower bounds forsplittings by