:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chancelier, Jean-Philippe, de Lara, Michel, Heymann, Benjamin
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Discrete Mathematics
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)

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)

Search for an Immobile Hider on a Binary Tree with Unreliable Locational Information
von: Alpern, Steve, et al.
Veröffentlicht: (2023)

Two Proofs of the Hamiltonian Cycle Identity
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)

Binary constraints on one additional variable can create exponential ascents
von: Cohen, David A., et al.
Veröffentlicht: (2026)

Separation Number and Treewidth, Revisited
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)

A Proof of Talagrand's Creating Large Sets Conjecture
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)

A recursive linear time modular decomposition algorithm via LexBFS
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)

Reconsideration of Tangle and Ultrafilter using Separation and Partition
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)

Normality of 8-Bit Bent Function
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)

Decision problems on geometric tilings
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)

A Knowledge Compilation Take on Binary Polynomial Optimization
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)

Variants of Wythoff game with terminal positions or blocking maneuvers
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)

Uniform Sampling and Visualization of 3D Reluctant Walks
von: Buckley, Benjamin, et al.
Veröffentlicht: (2024)

A Courcelle-Type Metatheorem for Rank-Bounded Unconstrained Binary Optimization
von: Harary, Marc
Veröffentlicht: (2025)

A Proof of Bala's General-$m$ Representation of the Harmonic Numbers
von: Niu, Tong
Veröffentlicht: (2026)

Spectral Sufficient Conditions for Graph Factors
von: Ren, Fengyun, et al.
Veröffentlicht: (2025)

Effective approach of the tridendriform Schroeder tree algebra
von: Catoire, Pierre, et al.
Veröffentlicht: (2026)

Relational Algebras for Subset Selection and Optimisation
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)

The Interplay Between Domination and Separation in Graphs
von: Chakraborty, Dipayan, et al.
Veröffentlicht: (2026)

Cops & Robber on Periodic Temporal Graphs
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)

Cube Height, Cube Width and Related Extremal Problems for Posets
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)

An Alternate Proof of Near-Optimal Light Spanners
von: Bodwin, Greg
Veröffentlicht: (2023)

Separation axiom $S_3$ for geodesic convexity in graphs
von: Chepoi, Victor
Veröffentlicht: (2024)

Progress on Self Identifying Codes
von: Jean, Devin, et al.
Veröffentlicht: (2025)