Zobrazeno 1 - 10
of 129
pro vyhledávání: '"Hitting sets"'
Publikováno v:
Symmetry, Vol 16, Iss 2, p 206 (2024)
Given a set of n disks in the plane, we study the problem of finding k lines that together intersect the maximum number of input disks. We consider three variants of this problem with the following constraints on the solution: (1) no constraint on th
Externí odkaz:
https://doaj.org/article/720262924f00483990eafc49a395cd98
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Chattopadhyay, Eshan, Liao, Jyun-Jie
In a recent work, Gryaznov, Pudlák and Talebanfard (CCC '22) introduced a linear variant of read-once branching programs, with motivations from circuit and proof complexity. Such a read-once linear branching program is a branching program where each
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2357a7597d70877415fa6c48a07df774
In the range avoidance problem, the input is a multi-output Boolean circuit with more outputs than inputs, and the goal is to find a string outside its range (which is guaranteed to exist). We show that well-known explicit construction questions such
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6eb1f46101838cef2066c2601d83c24e
The development of practical approaches to efficiently reasoning over pseudo-Boolean constraints has recently increasing attention as a natural generalization of Boolean satisfiability (SAT) solving. Analogously, solvers for pseudo-Boolean optimizati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ae8c9bc644c639f40cac44206200b2c6
We give upper and lower bounds on the power of subsystems of the Ideal Proof System (IPS), the algebraic proof system recently proposed by Grochow and Pitassi (J. ACM, 2018), where the circuits comprising the proof come from various restricted algebr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0aa1138fcc25c2aebae7eb1ee00cd3ef
http://hdl.handle.net/10044/1/93217
http://hdl.handle.net/10044/1/93217
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.