On 3SUM-hard Problems in the Decision Tree Model (English)
- New search for: Ezra, Esther
- New search for: Ezra, Esther
In:
Connecting with Computability
; 178-188
;
2021
-
ISBN:
- Conference paper / Print
-
Title:On 3SUM-hard Problems in the Decision Tree Model
-
Contributors:Ezra, Esther ( author )
-
Conference:CiE ; 17. ; 2021 ; Gent, online
-
Published in:Connecting with Computability ; 178-188
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2021
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 54.01 / 54.10
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Searching for Applicable Versions of Computable StructuresAlaev, P. E. / Selivanov, V. L. et al. | 2021
- 12
-
On Measure Quantifiers in First-Order ArithmeticAntonelli, Melissa / Lago, Ugo Dal / Pistone, Paolo et al. | 2021
- 25
-
Learning Languages with Decidable HypothesesBerger, Julian / Böther, Maximilian / Doskoč, Vanja / Harder, Jonathan Gadea / Klodt, Nicolas / Kötzing, Timo / Lötzsch, Winfried / Peters, Jannik / Schiller, Leon / Seifert, Lars et al. | 2021
- 38
-
Robust Online Algorithms for Dynamic Choosing ProblemsBerndt, Sebastian / Grage, Kilian / Jansen, Klaus / Johannsen, Lukas / Kosche, Maria et al. | 2021
- 50
-
On the Degrees of Constructively Immune SetsBirns, Samuel D. / Kjos-Hanssen, Bjørn et al. | 2021
- 60
-
Fine-Grained Complexity Theory: Conditional Lower Bounds for Computational GeometryBringmann, Karl et al. | 2021
- 71
-
The Lost Melody Theorem for Infinite Time Blum-Shub-Smale MachinesCarl, Merlin et al. | 2021
- 82
-
Randomising RealizabilityCarl, Merlin / Galeotti, Lorenzo / Passmann, Robert et al. | 2021
- 94
-
Restrictions of Hindman’s Theorem: An OverviewCarlucci, Lorenzo et al. | 2021
- 106
-
Complexity and Categoricity of Injection Structures Induced by Finite State TransducersKrogman, Richard / Cenzer, Douglas et al. | 2021
- 120
-
A Tale of Optimizing the Space Taken by de Bruijn GraphsChikhi, Rayan et al. | 2021
- 135
-
Formally Computing with the Non-computableCohen, Liron et al. | 2021
- 146
-
Mapping Monotonic Restrictions in Inductive InferenceDoskoč, Vanja / Kötzing, Timo et al. | 2021
- 158
-
Normal Forms for Semantically Witness-Based Learners in Inductive InferenceDoskoč, Vanja / Kötzing, Timo et al. | 2021
- 169
-
Walk-Preserving Transformation of Overlapped Sequence Graphs into Blunt Sequence Graphs with GetBluntedEizenga, Jordan M. / Lorig-Roach, Ryan / Meredith, Melissa M. / Paten, Benedict et al. | 2021
- 178
-
On 3SUM-hard Problems in the Decision Tree ModelEzra, Esther et al. | 2021
- 189
-
Limitwise Monotonic Spectra and Their GeneralizationsFaizrahmanov, Marat et al. | 2021
- 199
-
On False Heine/Borel Compactness Principles in Proot MiningFerreira, Fernando et al. | 2021
- 204
-
Placing Green Bridges Optimally, with a Multivariate AnalysisFluschnik, Till / Kellerhals, Leon et al. | 2021
- 217
-
A Church-Turing Thesis for Randomness?Franklin, Johanna N. Y. et al. | 2021
- 227
-
Probabilistic Models of k-mer Frequencies (Extended Abstract)Gafurov, Askar / Vinař, Tomáš / Brejová, Broňa et al. | 2021
- 237
-
Defining Formal Explanation in Classical Logic by Substructural DerivabilityGenco, Francesco A. / Poggiolesi, Francesca et al. | 2021
- 248
-
Dedekind Cuts and Long Strings of Zeros in Base ExpansionsGeorgiev, Ivan et al. | 2021
- 260
-
On the Impact of Treewidth in the Computational Complexity of Freezing DynamicsGoles, Eric / Montealegre, Pedro / Wilson, Martín Ríos / Theyssier, Guillaume et al. | 2021
- 273
-
Towards a Map for Incremental Learning in the Limit from Positive and Negative InformationKhazraei, Ardalan / Kötzing, Timo / Seidel, Karen et al. | 2021
- 285
-
On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising StrategyKoutsoukou-Argyraki, Angeliki et al. | 2021
- 297
-
In Search of the First-Order Part of Ramsey’s Theorem for PairsKołodziejczyk, Leszek Aleksander / Yokoyama, Keita et al. | 2021
- 308
-
On Subrecursive Representation of Irrational Numbers: Contractors and Baire SequencesKristiansen, Lars et al. | 2021
- 318
-
Learning Languages in the Limit from Positive Information with Finitely Many Memory ChangesKötzing, Timo / Seidel, Karen et al. | 2021
- 330
-
Compression Techniques in Group TheoryLohrey, Markus et al. | 2021
- 342
-
Computable Procedures for FieldsMiller, Russell et al. | 2021
- 353
-
Minimum Classical Extensions of Constructive TheoriesMoschovakis, Joan Rand / Vafeiadou, Garyfallia et al. | 2021
- 363
-
Subrecursive Equivalence Relations and (non-)Closure Under Lattice OperationsMoyen, Jean-Yves / Simonsen, Jakob Grue et al. | 2021
- 373
-
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and HitoriRobert, Léo / Miyahara, Daiki / Lafourcade, Pascal / Mizuki, Takaaki et al. | 2021
- 385
-
Positive Enumerable FunctorsCsima, Barbara F. / Rossegger, Dino / Yu, Daniel et al. | 2021
- 395
-
Splittings and Robustness for the Heine-Borel TheoremSanders, Sam et al. | 2021
- 407
-
Non-collapse of the Effective Wadge HierarchySelivanov, Victor et al. | 2021
- 417
-
Effective Inseparability and Its ApplicationsSorbi, Andrea et al. | 2021
- 424
-
Simple Betting and StochasticitySteifer, Tomasz et al. | 2021
- 434
-
Péter on Church’s Thesis, Constructivity and ComputersSzabó, Máté et al. | 2021
- 446
-
Constructive Mathematics, Church’s Thesis, and Free Choice SequencesTurner, D. A. et al. | 2021
- 457
-
KL-Randomness and Effective Dimension Under Strong ReducibilityKjos-Hanssen, Bjørn / Webb, David J. et al. | 2021
- 469
-
An Algorithmic Version of Zariski’s LemmaWiesnet, Franziskus et al. | 2021
- 483
-
Einstein Meets Turing: The Computability of Nonlocal GamesYuen, Henry et al. | 2021
- 494
-
Computability of Limit Sets for Two-Dimensional FlowsGraça, Daniel S. / Zhong, Ning et al. | 2021