이론 컴퓨터 과학

Jung / Shah의 알고리즘 을 사용하는 작은 제외 그래프에서는 대략적인 착색 수가 쉬운 것으로 보입니다 . 일반 그래프에서는 어렵지만 작은 제외 된 그래프에서는 쉬운 문제의 다른 예는 무엇입니까? 업데이트 10/24 그로 헤의 결과에 따르면 경계-트리 폭 그래프에서 테스트하기 위해 FPT 인 공식은 작은 제외 된 그래프에서 테스트하기 위해 FPT입니다. 이제 …

31 ds.algorithms  graph-theory  graph-minor 

내부 무작위성에 관계없이 항상 동일한 (올바른) 답변을 출력 하지만 무작위성을 악용하여 예상 실행 시간이 가장 빠른 알려진 실행 시간보다 낫도록 검색 문제에 대한 무작위 알고리즘의 흥미로운 예가 있습니까? 문제에 대한 결정 론적 알고리즘? 특히, n과 2n 사이의 소수를 찾는 알고리즘이 있는지 궁금합니다. 알려진 다항식 시간 결정 알고리즘은 없습니다. 간격에서 임의의 …

31 ds.algorithms  randomized-algorithms 

알고리즘 설계의 성배 중 하나는 선형 프로그래밍을위한 강력한 다항식 알고리즘을 찾는 것입니다. 즉, 런타임은 변수 및 제약 조건에서 다항식에 의해 제한되고 매개 변수 표현의 크기와 무관합니다 (가정 가정) 단가 산술). 이 질문을 해결하면 선형 프로그래밍을위한 더 나은 알고리즘 이외의 의미가 있습니까? 예를 들어, 그러한 알고리즘의 존재 / 존재가 지오메트리 또는 …

31 ds.algorithms  conditional-results  linear-programming  computing-over-reals  simplex 

주변에 수많은 NP- 완전 문제가 있고이를 수집하는 출처가 있습니다 (예 : Garey and Johnson의 책 참조). NEXP 완료 문제 목록도 관심이 있습니다. 사용할 수있는 것이 있습니까? 내가 없다고 가정 할 때, 나는이 질문을 엽니 다 (이것은 커뮤니티 위키 여야합니까? 나는 이것에 대해 모릅니다). 이상적으로는 목록이 NEXP- 완전 문제의 다른 "유형"을 …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

나는 CS 분야를 처음 접했고 내가 읽은 많은 논문들에서 경험적 결과 (코드가없고, 명예와 증거)가 없다는 것을 알았습니다. 왜 그런가요? 컴퓨터 과학이 과학이라는 것을 고려하면 과학적인 방법을 따라서는 안됩니까?

31 soft-question  research-practice  writing 

다른 사용자에게 흥미가있을 수 있으므로이 질문을 공유 할 것이라고 생각했습니다. 균일 한 클래스 ( 와 같은 ) 에있는 함수가 작은 비 균일 클래스 ( 와 같은 비 균일 )에도 있다고 가정하면, 이는 함수가 더 작은 균일 클래스 ( 같은 )? 이 질문에 대한 답변이 긍정적이면 ? 부정적이라면, 흥미로운 자연적인 반례를 …

31 cc.complexity-theory  circuit-complexity  uniformity 

하여이 게스트 포스트에서 조쉬 Grochow 복잡성에서 그는 7 월에 프린스턴에서 개최되었다 GCT에 전념 최근 워크샵에 대해보고 웹 로그. 참석자들 중 일부는 직관을 구축하고 방법이 잠재력이 있는지 확인하기 위해 대 N P 보다 쉬운 문제를 공격하기 위해 GCT를 사용해야한다고 주장했습니다 .PP\mathsf{P}NPNP\mathsf{NP} 나를 괴롭힌 질문 : P ≠ E X P 또는 …

31 cc.complexity-theory  gct 

다음과 같은 정량화 된 부울 공식인지 결정 ∀ x1∃ x2∀ x삼⋯ ∃ x엔φ ( ×1, x2, … , x엔) ,∀엑스1∃엑스2∀엑스삼⋯∃엑스엔φ(엑스1,엑스2,…,엑스엔),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), 항상 참으로 평가되는 것은 고전적인 PSPACE- 완전 문제입니다. 이것은 교대로 움직이는 두 플레이어 사이의 게임으로 볼 수 있습니다. 첫 …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

정의 - 언어의 클래스로 언어가되도록 와 무한히 많은 , 및 은 길이 모든 인스턴스에 동의합니다 . (이것은 "언더 지수 시간에 무한정 자주 풀 수있는"언어 클래스입니다.)S U B E X P L L ' ∈ ∩ ε > 0 T I M E ( 2 N ε ) N L의 L …

30 cc.complexity-theory  sat  oracles 

경계가없는 비결정론 은 함수 를 자원이 제한된 결정 론적 튜링 머신이 허용하는 언어 의 클래스 와 연관시켜 새로운 클래스 - 를 형성합니다 . 이 클래스는 를 정의하는 데 사용 된 것과 동일한 자원 한계를 준수하는 일부 비 결정적 Turing 머신 허용되는 언어로 구성 되지만 은 최대 비 결정적 이동을 수행 …

30 cc.complexity-theory  graph-theory  graph-isomorphism  nondeterminism 

NP = PSPACE의 불쾌한 결과는 무엇입니까? 이 클래스가 가장 유명한 클래스 중 하나라는 점을 감안할 때 아무것도 찾지 못했습니다. 특히, 하위 계층에 어떤 영향을 미칠까요?

30 cc.complexity-theory  complexity-classes  conditional-results 

를 들어 최대 흐름 문제 , 최근 작년로 개발 적어도 하나, 매우 정교한 알고리즘의 수있을 것 같다. Orlin의 Max는 O (mn) 시간 이상으로 흐르거나 O (VE)에서 실행되는 알고리즘을 제공합니다. 반면에 가장 일반적으로 구현되는 알고리즘은 다음과 같습니다. (완전한 검색을 수행했다고 주장하지는 않습니다. 에드몬드-카프 : ,O(VE2)O(VE2)O(VE^2) 푸시-리 라벨 : FIFO 정점 선택을 …

30 ds.algorithms  graph-algorithms  application-of-theory  max-flow 

리차드 제이 립튼 (Richard J. Lipton) 은 "새로운 아이디어와 기법 소개"로 2014 Knuth Prize의 수상자로 선정되었습니다 . Lipton이 개발 한 새로운 주요 아이디어와 기법은 무엇입니까? 노트. 이 질문은 커뮤니티 위키가 될 것입니다. 답변 당 하나의 아이디어, 기술 또는 결과를 입력하십시오.

30 big-list 

인용 위키 백과 , "[생명의 콘웨이의 게임] 범용 튜링 기계의 힘이 있습니다.이며, 어떤 삶의 콘웨이의 게임 내에서 계산 될 수있다 알고리즘 계산 될 수있다" 그러한 결과가 Conway의 Game of Life의 시끄러운 버전으로 확장됩니까? 가장 간단한 버전은 매 라운드마다 모든 라이브 셀이 작은 확률 죽고 모든 죽은 셀이 작은 확률 s로 …

30 cc.complexity-theory  pr.probability  cellular-automata  fault-tolerance 

누군가이 연구 분야의 관계가 무엇인지 명확히하려고하거나 도전 수준에서 좀 더 구체적으로 답변하려고합니까? 어느 것이 널리 받아 들여진 일부 제형을 가정 한 것을 포함한다. 내가 이것을 올바르게 받으면 SAT에서 SMT로 갈 때 기본적으로 CSP 필드에 들어갑니다. 반대로 CSP를 부울로 제한하면 기본적으로 SAT와 #SAT와 같은 몇 가지 관련 문제에 대해 이야기하는 것입니다. …

30 soft-question  sat  terminology