이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

1
DFS 트리는 항상 어떤 경로에 대한 경로입니까?
어떤 방향이없는 그래프가 모든 깊이 우선 탐색 트리 (모든 가능한 시작 정점 및 어떤 이웃이 먼저 검색 할 모든 선택에 대한) 방향 경로입니까? 즉, 모든 DFS 트리에는 리프가 하나만 있어야하고 다른 모든 정점에는 정확히 하나의 자식이 있어야합니다. 예를 들어,주기, 완전한 그래프 및 균형 잡힌 완전한 이분 그래프에 해당됩니다. 경로가 아닌 …
2
ALogTime! = PH는 증명하기 어렵고 알려지지 않았습니까?
Lance Fortnow는 최근에 L! = NP를 증명하는 것이 P! = NP를 증명하는 것보다 쉬워야 한다고 주장했습니다 . 대수 공간에서 NP를 분리하십시오. 나는 아무도 공개하지 않았지만 2001 년 사전 블로그 에서 대각선 화 에 관한 4 가지 접근법 (섹션 3)을 제시했다. P를 NP에서 분리하는 것보다 훨씬 쉽습니다. 관련 설문 조사의 섹션 …
1
라빈의“함수 계산의 난이도와 재귀 집합의 부분 순서”
내가 찾고 있어요: Michael O. Rabin, "함수 계산의 어려움과 재귀 집합의 부분 순서 정도", 히브리 대학교, 예루살렘, 1960 요약: “우리는 주어진 계산 가능한 (재귀) 함수를 계산하는 작업에 내재 된 작업량을 측정하려고합니다. 컴퓨팅의 난이도에 대한 개념이 소개되고 연구됩니다. 이 개념은 문제의 기능을 계산하는 데 사용되는 이상적인 컴퓨터 (Turing Machines)와 독립적이라는 의미에서 …
2
코 히어 런트 스페이스의 직관을 설명 할 수 있습니까?
Linear Logic은 Coherent spaces를 사용하여 해석 되며 Girard의 논문에서 두드러지게 나타납니다. 공식적으로 정의하는 세 가지 주요 방법을 모두 알고 있으며 실제로 사용하고 증명하는 데 아무런 문제가 없지만 그 의미를 이해할 수는 없습니다 . 그것들 을 이해 하는 방법이 있다는 느낌이 듭니다 . 우선, 부울에 함수를 사용하는 예제가 있습니다 ( 위키 …
3
공리로 CIC를 확장하면 부정적인 결과는 무엇입니까?
공리를 CIC에 추가하는 것이 정의와 정리의 계산 내용에 부정적인 영향을 줄 수 있다는 것이 사실입니까? 나는 경우 이론의 정상적인 동작에서, 닫힌 용어는 예를 들어 자사의 표준 정상적인 형태로 줄일 수, 그 이해 사실, 다음 N 형식의 용어로 줄여야합니다 ( s의 U C C는 . . . ( 의 유 c …
4
선형 방정식 시스템에 대한 희소 솔루션 찾기
선형 방정식 시스템에 대한 희소 솔루션을 찾는 것이 얼마나 어려운가요? 보다 공식적으로 다음 결정 문제를 고려하십시오. 인스턴스 : 정수 계수와 숫자 의 선형 방정식 시스템 ccc. 질문 : 최소 ccc 변수가 0에 할당 된 시스템에 대한 솔루션이 있습니까? 또한 에 대한 의존성이 무엇인지 확인하려고합니다 ccc. 즉, 문제는 매개 변수 FPT입니다 …
2
의존적으로 타이핑 된 람다 미적분학을위한 교회-로저 속성?
Church-Rosser 속성은 간단하게 입력 된 람다 미적분에서 -reduction을 유지하는 것으로 잘 알려져 있습니다. 이 계산법은 관련된 모든 방정식한다는 의미에서, 일관성이 있음을 의미한다 예를 들어, : -terms이 유도되어 K 나는 그들이 같은 일반적인 양식을 공유하지 않기 때문에.λ ≠βηβη\beta \etaλλ\lambda≠≠\neq 또한 제품 유형에 대응하는 쌍으로 결과를 확장 할 수있는 것으로 알려져있다. 그러나 …
1
MA 버전의 SETH는 어떻게 거짓으로 증명됩니까?
SETH ( 강한 지수 시간 가설 ) 의 비 결정적 확장에 대해 논의한 이 논문 에 따르면 , 윌리엄스는 최근 k-TAUT의 멀린-아더 복잡성에 관한 관련 가설이 거짓임을 보여 주었다. 그러나 그 신문은 개인적인 의사 소통 만 인용합니다. MA 버전의 SETH는 어떻게 거짓으로 증명됩니까? 나는 그것이 공식을 대 수화 하는 것과 …
1
가장 느린 1 대 감소?
가 complete 임을 증명하고자 할 때 , 표준 접근법은 알려진 complete 문제를 대한 다항식 시간 계산 가능한 다 대일 감소를 나타내는 것 입니다. 이러한 맥락에서 우리는 감소의 실행 시간에 긴밀한 경계가 필요하지 않습니다. 그것은 것으로 충분 어떤 것이 가능성이 매우 높은 학위를 가질 수 있도록, 다항식 바인딩.L ∈ N P엘∈엔피L\in …
2
Turing 기계와 관련하여 mP / poly에 대한 동등한 정의는 무엇입니까?
P / poly는 다항식 크기의 부울 회로로 해결할 수있는 결정 문제의 클래스입니다. 대안 적으로 다항식 시간 튜링 기계로 정의 될 수 있으며, 다항식 크기는 n 단위이고 어드바이스 문자열은 n 크기에만 기반하는 어드바이스 문자열을받습니다. mP / poly는 다항식 크기의 모노톤 부울 회로로 해결할 수있는 의사 결정 문제의 클래스이지만 다항식 시간 튜링 …
2
사전 순으로 분류 된 분류 된 DAG의 토폴로지
우리가 지시 된 비순환 그래프 , 에서 총 순서 (예를 들어, 정수) 를 갖는 일부 세트 까지 의 라벨링 함수 를 입력으로 제공 하고 우리에게 묻는 문제를 고려하십시오 사 전적으로 가장 작은 위상 종류의 를 로 계산합니다 . 보다 정확하게는, 의 토폴로지 종류 는 를 으로 열거하는 것입니다. 에서 까지의 …
1
유도 된 그래프로서 4 개의 정점에 대한 완벽한 매칭을 배제한 그래프의 구조
그래프 클래스의 구조를 이해하여 4 개의 꼭짓점에 꼭짓점으로 유도 된 하위 그래프가 없도록하는 데 관심이 있습니다. 와 가 모서리 인 경우 에서 4 개의 꼭짓점 에 대해 다르게 기술 하면 그래프는 4 개의 꼭짓점에 적어도 하나 이상의 모서리를 가져야합니다. 이 수업은 이전에 공부 한 적이 있습니까? 모든 참조 또는 통찰력이 …
1
네트워크에서 두 번째로 작은
아무것도 두 번째 작은 대해 알려진 - t 절단의 흐름 네트워크에서? 또는이 문제에 대한보다 일반적인 내용은 다음과 같습니다.에스ss티tt 입력 : 네트워크 과 숫자 k 는 모두 이진수입니다. 출력 : k 번째 가장 작은 s - t 컷.엔NN케이kk케이kk에스ss티tt 번째 작은 S - t의 컷 ( S , T는 ) 어느 하나 …
2
제곱합 방법의 수치 정밀도?
나는의 제곱합 방법 (SOS)에 대해 조금 읽어 된 바락 & STEURER의 조사 와 바락의 강의 노트를 . 두 경우 모두 양탄자 아래에서 수치 정확도 문제를 청소합니다. 이 방법에 대한 나의 (제한적으로 제한적인) 이해에서 다음이 사실이어야합니다. 실수 변수 대한 다항식 항등 시스템 주어지면 모든 모수가 ( , , 각 구속 조건의 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.