„algorithm complexity“

Suchergebnisse

4.228 Treffer

• Quantum Algorithms for Classical Probability Distributions
  Belovs, Aleksandrs 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fragile Complexity of Comparison-Based Algorithms
  Afshani, Peyman ; Fagerberg, Rolf ; Hammer, David ; Jacob, Riko ; Kostitsyna, Irina ; Meyer, Ulrich ; Penschuck, Manuel ; Sitchinava, Nodari 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Refinement with Time - Refining the Run-Time of Algorithms in Isabelle/HOL
  Haslbeck, Maximilian P. L. ; Lammich, Peter 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Proof and Analysis of an Incremental Cycle Detection Algorithm
  Guéneau, Armaël ; Jourdan, Jacques-Henri ; Charguéraud, Arthur ; Pottier, François 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parameterized Complexity of Conflict-Free Matchings and Paths
  Agrawal, Akanksha ; Jain, Pallavi ; Kanesh, Lawqueen ; Saurabh, Saket 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Faster FPT Algorithm for 5-Path Vertex Cover
  Červený, Radovan ; Suchý, Ondřej 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Query-Competitive Sorting with Uncertainty
  Halldórsson, Magnús M. ; de Lima, Murilo Santos 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Optimality of Linear Sketching Under Modular Updates
  Hosseini, Kaave ; Lovett, Shachar ; Yaroslavtsev, Grigory 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Applications of the Quantum Algorithm for st-Connectivity
  DeLorenzo, Kai ; Kimmel, Shelby ; Witter, R. Teal 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quantum Distinguishing Complexity, Zero-Error Algorithms, and Statistical Zero Knowledge
  Ben-David, Shalev ; Kothari, Robin 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Complexity of Local Graph Transformations
  Scheideler, Christian ; Setzer, Alexander 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Testing the Complexity of a Valued CSP Language
  Kolmogorov, Vladimir 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Arboricity Captures the Complexity of Sampling Edges
  Eden, Talya ; Ron, Dana ; Rosenbaum, Will 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tight Approximation Algorithms for Bichromatic Graph Diameter and Related Problems
  Dalirrooyfard, Mina ; Williams, Virginia Vassilevska ; Vyas, Nikhil ; Wein, Nicole 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Approximation Algorithms for Min-Distance Problems
  Dalirrooyfard, Mina ; Williams, Virginia Vassilevska ; Vyas, Nikhil ; Wein, Nicole ; Xu, Yinzhan ; Yu, Yuancheng 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Capacitated Dynamic Programming: Faster Knapsack and Graph Algorithms
  Axiotis, Kyriakos ; Tzamos, Christos 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Robust Communication-Optimal Distributed Clustering Algorithms
  Awasthi, Pranjal ; Bakshi, Ainesh ; Balcan, Maria-Florina ; White, Colin ; Woodruff, David P. 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Algorithms and Hardness for Diameter in Dynamic Graphs
  Ancona, Bertie ; Henzinger, Monika ; Roditty, Liam ; Williams, Virginia Vassilevska ; Wein, Nicole 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fine-Grained Reductions and Quantum Speedups for Dynamic Programming
  Abboud, Amir 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fixed Point Computation Problems and Facets of Complexity (Invited Talk)
  Yannakakis, Mihalis 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik