Gespeichert in:
| Hauptverfasser: | Chancelier, Jean-Philippe, de Lara, Michel, Heymann, Benjamin |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2021
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2108.03018 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect
von: Chancelier, Jean-Philippe
Veröffentlicht: (2026)
von: Chancelier, Jean-Philippe
Veröffentlicht: (2026)
A Computer-Assisted Proof of the Optimal Density Bound for Pinwheel Covering
von: Kawamura, Akitoshi, et al.
Veröffentlicht: (2025)
von: Kawamura, Akitoshi, et al.
Veröffentlicht: (2025)
Optimal Generation of Strictly Increasing Binary Trees and Beyond
von: Bodini, Olivier, et al.
Veröffentlicht: (2024)
von: Bodini, Olivier, et al.
Veröffentlicht: (2024)
On Separating Path and Tree Systems in Graphs
von: Biniaz, Ahmad, et al.
Veröffentlicht: (2023)
von: Biniaz, Ahmad, et al.
Veröffentlicht: (2023)
Short Proof: Exact Solution to the Finite Frobenius Coin Problem
von: De Gaspari, Lorenzo, et al.
Veröffentlicht: (2025)
von: De Gaspari, Lorenzo, et al.
Veröffentlicht: (2025)
Search for an Immobile Hider on a Binary Tree with Unreliable Locational Information
von: Alpern, Steve, et al.
Veröffentlicht: (2023)
von: Alpern, Steve, et al.
Veröffentlicht: (2023)
Two Proofs of the Hamiltonian Cycle Identity
von: Sawczuk, Hamilton, et al.
Veröffentlicht: (2025)
von: Sawczuk, Hamilton, et al.
Veröffentlicht: (2025)
A Simplified Proof for the Edge-Density of 4-Planar Graphs
von: Büngener, Aaron
Veröffentlicht: (2025)
von: Büngener, Aaron
Veröffentlicht: (2025)
Binary constraints on one additional variable can create exponential ascents
von: Cohen, David A., et al.
Veröffentlicht: (2026)
von: Cohen, David A., et al.
Veröffentlicht: (2026)
Separation Number and Treewidth, Revisited
von: Houdrouge, Hussein, et al.
Veröffentlicht: (2025)
von: Houdrouge, Hussein, et al.
Veröffentlicht: (2025)
A Proof of the 2004 Albert-Grossman-Nowakowski-Wolfe Conjecture on Alternating Linear Clobber
von: Chen, Xinyue, et al.
Veröffentlicht: (2025)
von: Chen, Xinyue, et al.
Veröffentlicht: (2025)
A Proof of Talagrand's Creating Large Sets Conjecture
von: Fang, Xuan, et al.
Veröffentlicht: (2025)
von: Fang, Xuan, et al.
Veröffentlicht: (2025)
Separating the edges of a graph by cycles and by subdivisions of $K_4$
von: Botler, Fábio, et al.
Veröffentlicht: (2024)
von: Botler, Fábio, et al.
Veröffentlicht: (2024)
A recursive linear time modular decomposition algorithm via LexBFS
von: Corneil, Derek, et al.
Veröffentlicht: (2007)
von: Corneil, Derek, et al.
Veröffentlicht: (2007)
Boundedness and Separation in the Graph Covering Number Framework
von: Goetze, Miriam, et al.
Veröffentlicht: (2025)
von: Goetze, Miriam, et al.
Veröffentlicht: (2025)
Reconsideration of Tangle and Ultrafilter using Separation and Partition
von: Fujita, Takaaki
Veröffentlicht: (2023)
von: Fujita, Takaaki
Veröffentlicht: (2023)
Spectral Moment of Order Four and the Uniqueness of the CCZ class of Dublin APN Permutation
von: Gillot, Valérie, et al.
Veröffentlicht: (2025)
von: Gillot, Valérie, et al.
Veröffentlicht: (2025)
Normality of 8-Bit Bent Function
von: Gillot, Valérie, et al.
Veröffentlicht: (2025)
von: Gillot, Valérie, et al.
Veröffentlicht: (2025)
Upper Bounds on the Average Height of Random Binary Trees
von: Benkner, Louisa Seelbach
Veröffentlicht: (2024)
von: Benkner, Louisa Seelbach
Veröffentlicht: (2024)
Decision problems on geometric tilings
von: de Menibus, Benjamin Hellouin, et al.
Veröffentlicht: (2024)
von: de Menibus, Benjamin Hellouin, et al.
Veröffentlicht: (2024)
Combinatorial generation via permutation languages. VI. Binary trees
von: Gregor, Petr, et al.
Veröffentlicht: (2023)
von: Gregor, Petr, et al.
Veröffentlicht: (2023)
A Knowledge Compilation Take on Binary Polynomial Optimization
von: Capelli, Florent, et al.
Veröffentlicht: (2023)
von: Capelli, Florent, et al.
Veröffentlicht: (2023)
LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs
von: Inamdar, Amogh, et al.
Veröffentlicht: (2025)
von: Inamdar, Amogh, et al.
Veröffentlicht: (2025)
Variants of Wythoff game with terminal positions or blocking maneuvers
von: Renard, Antoine, et al.
Veröffentlicht: (2025)
von: Renard, Antoine, et al.
Veröffentlicht: (2025)
A Necessary Condition for Connectedness of Solutions to Integer Linear Systems
von: Shigenobu, Takasugu, et al.
Veröffentlicht: (2025)
von: Shigenobu, Takasugu, et al.
Veröffentlicht: (2025)
Uniform Sampling and Visualization of 3D Reluctant Walks
von: Buckley, Benjamin, et al.
Veröffentlicht: (2024)
von: Buckley, Benjamin, et al.
Veröffentlicht: (2024)
A Courcelle-Type Metatheorem for Rank-Bounded Unconstrained Binary Optimization
von: Harary, Marc
Veröffentlicht: (2025)
von: Harary, Marc
Veröffentlicht: (2025)
A Proof of Bala's General-$m$ Representation of the Harmonic Numbers
von: Niu, Tong
Veröffentlicht: (2026)
von: Niu, Tong
Veröffentlicht: (2026)
Spectral Sufficient Conditions for Graph Factors
von: Ren, Fengyun, et al.
Veröffentlicht: (2025)
von: Ren, Fengyun, et al.
Veröffentlicht: (2025)
Effective approach of the tridendriform Schroeder tree algebra
von: Catoire, Pierre, et al.
Veröffentlicht: (2026)
von: Catoire, Pierre, et al.
Veröffentlicht: (2026)
Relational Algebras for Subset Selection and Optimisation
von: Pratten, David Robert, et al.
Veröffentlicht: (2025)
von: Pratten, David Robert, et al.
Veröffentlicht: (2025)
Decomposition-Coordination Method for Finite Horizon Bandit Problems
von: de Lara, Michel, et al.
Veröffentlicht: (2021)
von: de Lara, Michel, et al.
Veröffentlicht: (2021)
The Interplay Between Domination and Separation in Graphs
von: Chakraborty, Dipayan, et al.
Veröffentlicht: (2026)
von: Chakraborty, Dipayan, et al.
Veröffentlicht: (2026)
Cops & Robber on Periodic Temporal Graphs
von: De Carufel, Jean-Lou, et al.
Veröffentlicht: (2024)
von: De Carufel, Jean-Lou, et al.
Veröffentlicht: (2024)
A lattice on Dyck paths close to the Tamari lattice
von: Baril, Jean-Luc, et al.
Veröffentlicht: (2023)
von: Baril, Jean-Luc, et al.
Veröffentlicht: (2023)
Cube Height, Cube Width and Related Extremal Problems for Posets
von: Bastide, Paul, et al.
Veröffentlicht: (2025)
von: Bastide, Paul, et al.
Veröffentlicht: (2025)
A quasi-optimal upper bound for induced paths in sparse graphs
von: Couëtoux, Basile, et al.
Veröffentlicht: (2025)
von: Couëtoux, Basile, et al.
Veröffentlicht: (2025)
An Alternate Proof of Near-Optimal Light Spanners
von: Bodwin, Greg
Veröffentlicht: (2023)
von: Bodwin, Greg
Veröffentlicht: (2023)
Separation axiom $S_3$ for geodesic convexity in graphs
von: Chepoi, Victor
Veröffentlicht: (2024)
von: Chepoi, Victor
Veröffentlicht: (2024)
Progress on Self Identifying Codes
von: Jean, Devin, et al.
Veröffentlicht: (2025)
von: Jean, Devin, et al.
Veröffentlicht: (2025)
Ähnliche Einträge
-
A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect
von: Chancelier, Jean-Philippe
Veröffentlicht: (2026) -
A Computer-Assisted Proof of the Optimal Density Bound for Pinwheel Covering
von: Kawamura, Akitoshi, et al.
Veröffentlicht: (2025) -
Optimal Generation of Strictly Increasing Binary Trees and Beyond
von: Bodini, Olivier, et al.
Veröffentlicht: (2024) -
On Separating Path and Tree Systems in Graphs
von: Biniaz, Ahmad, et al.
Veröffentlicht: (2023) -
Short Proof: Exact Solution to the Finite Frobenius Coin Problem
von: De Gaspari, Lorenzo, et al.
Veröffentlicht: (2025)