„time complexity“

Suchergebnisse

1.161 Treffer

• Exact Search-To-Decision Reductions for Time-Bounded Kolmogorov Complexity
  Hirahara, Shuichi ; Kabanets, Valentine ; Lu, Zhenjian ; Oliveira, Igor C. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of Computing in Continuous Time: Space Complexity Is Precision
  Blanc, Manon ; Bournez, Olivier 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Minimizing Tardy Processing Time on a Single Machine in Near-Linear Time
  Fischer, Nick ; Wennmann, Leo 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fundamental Problems on Bounded-Treewidth Graphs: The Real Source of Hardness
  Can Esmer, Barış ; Focke, Jacob ; Marx, Dániel ; Rzążewski, Paweł 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Detecting Disjoint Shortest Paths in Linear Time and More
  Akmal, Shyan ; Vassilevska Williams, Virginia ; Wein, Nicole 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Recognition and Proper Coloring of Unit Segment Intersection Graphs
  Barish, Robert D. ; Shibuya, Tetsuo 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computational Complexity of Matching Match Puzzle
  Iburi, Yuki ; Uehara, Ryuhei 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Sub-Exponential Time Lower Bounds for #VC and #Matching on 3-Regular Graphs
  Liu, Ying ; Chen, Shiteng 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity
  Virtema, Jonni ; Hofmann, Jana ; Finkbeiner, Bernd ; Kontinen, Juha ; Yang, Fan 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Average-Case Polynomial-Time Computability of Hamiltonian Dynamics
  Kawamura, Akitoshi ; Thies, Holger ; Ziegler, Martin 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Minimizing the Number of Tardy Jobs with Uniform Processing Times on Parallel Machines
  Heeger, Klaus ; Molter, Hendrik 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Residue Domination in Bounded-Treewidth Graphs
  Greilhuber, Jakob ; Schepper, Philipp ; Wellnitz, Philip 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Being Efficient in Time, Space, and Workload: a Self-Stabilizing Unison and Its Consequences
  Devismes, Stéphane ; Ilcinkas, David ; Johnen, Colette ; Mazoit, Frédéric 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Can You Link Up With Treewidth?
  Curticapean, Radu ; Döring, Simon ; Neuen, Daniel ; Wang, Jiaheng 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of Deciding Characteristic Formulae in Van Glabbeek’s Branching-Time Spectrum
  Aceto, Luca ; Achilleos, Antonis ; Chalki, Aggeliki ; Anna Ingólfsdóttir 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Byzantine Reliable Broadcast with Low Communication and Time Complexity
  Locher, Thomas 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Finite Model Theory and Proof Complexity Revisited: Distinguishing Graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus
  Pago, Benedikt 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The time complexity of consensus under oblivious message adversaries
  Winkler, Kyrill ; Paz, Ami ; Rincón Galeana, Hugo ; Schmid, Stefan ; Schmid, Ulrich 2025 Technische Universität Berlin
• The Time Complexity of Consensus Under Oblivious Message Adversaries
  Winkler, Kyrill ; Paz, Ami ; Rincón Galeana, Hugo ; Schmid, Stefan ; Schmid, Ulrich
• On the Convolution Efficiency for Probabilistic Analysis of Real-Time Systems (Artifact)
  Marković, Filip ; Papadopoulos, Alessandro Vittorio ; Nolte, Thomas