Zobrazeno 1 - 10
of 107
pro vyhledávání: '"TFNP"'
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.
Publikováno v:
Filos-Ratsikas, A, Hollender, A, Sotiraki, K & Zampetakis, M 2023, ' Consensus-Halving: Does It Ever Get Easier? ', SIAM Journal on Computing, vol. 52, no. 2, pp. 563-602 . https://doi.org/10.1137/20M1387493
EC
EC
In the $\varepsilon$-Consensus-Halving problem, a fundamental problem in fair division, there are $n$ agents with valuations over the interval $[0,1]$, and the goal is to divide the interval into pieces and assign a label "$+$" or "$-$" to each piece
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::788596e2d3657f60e7651c0a1e1f286c
https://hdl.handle.net/20.500.11820/01b381fe-29dc-4ec3-b7c8-e7f5ccd10eac
https://hdl.handle.net/20.500.11820/01b381fe-29dc-4ec3-b7c8-e7f5ccd10eac
Autor:
Davis, Ben, Robere, Robert
Recent work has shown that many of the standard TFNP classes - such as PLS, PPADS, PPAD, SOPL, and EOPL - have corresponding proof systems in propositional proof complexity, in the sense that a total search problem is in the class if and only if the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b90b9f26edc19cc62f7a4fa6dbbfcad
Autor:
Goldberg, Paul, Li, Jiawei
We consider the problem of partitioning a line segment into two subsets, so that n finite measures all have the same ratio of values for the subsets. Letting α ∈ [0,1] denote the desired ratio, this generalises the PPA-complete consensus-halving p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8689fc69cecf58c81689ba7d49398406
We study the problem of finding a Tarski fixed point over the k-dimensional grid [n]^k. We give a black-box reduction from the Tarski problem to the same problem with an additional promise that the input function has a unique fixed point. It implies
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::689f8b21c7ceb37f6649cb10a7720d2e
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:
Erfan Khaniki
Publikováno v:
The Journal of Symbolic Logic. 87:912-937
In [20] Krajíček and Pudlák discovered connections between problems in computational complexity and the lengths of first-order proofs of finite consistency statements. Later Pudlák [25] studied more statements that connect provability with comput
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a4a4fc834d5d99168f53ee79cafdc5e4
https://doi.org/10.1017/jsl.2021.99
https://doi.org/10.1017/jsl.2021.99
Autor:
Ježil, Ondřej
For a class of graph instances of a computational problem we define a limit object, relative to some computationally restricted class of functions. The key method here is forcing with random variables where the sample set is taken as instances of som
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2186::4bfcf762cc7029c52373ab669ad82d30
http://www.nusl.cz/ntk/nusl-506238
http://www.nusl.cz/ntk/nusl-506238