이론 컴퓨터 과학

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

1
Blum의
에서는 스레드 , Norbet 블룸의 시도 증거는 간결 Tardos 함수 정리 6 반례 것을 주목 반증한다.피≠ N피P≠NPP \neq NP 정리 6 : 모노톤 부울 함수로합니다. CNF-DNF-approximator에 있다고 가정 A를 위해 하한을 증명하는 데 사용될 수 C를 m ( F ) . 그러면 A는 또한 행 같은 저급 증명하는 데 사용될 …
2
Lambda 미적분학의 원래 의도는 무엇입니까?
나는 처음에 교회 가 그의 논리 논리 논문 의 일부로 미적분학을 제안했다는 것을 읽었습니다. 그러나 Kleene은 그의 "시스템"이 일관성이 없다는 것을 증명 한 후, 교회는 "유효한 계산 능력"에 대한 그의 작품과 관련된 것들을 추출하고 그의 논리에 대한 그의 이전의 작품을 포기했습니다.λλ\lambda 그래서 내가 이해하는 것처럼 시스템과 그 표기법은 논리와 관련 …
3
상대성이 아닌 계산 성 이론의 결과가 있습니까?
저는 Andrej Bauer의 논문 인 Synputtic Computability Theory의 첫 단계를 읽고있었습니다 . 결론적으로 그는 우리의 axiomatization에는 한계가 있습니다. 오라클 계산에 관련성을 갖지 못하는 계산 이론에서 어떤 결과도 입증 할 수 없습니다. 이론이 오라클에 액세스하여 부분 재귀 함수로 구축 된 효과적인 토포스의 변형으로 해석 될 수 있기 때문입니다. 이것은 계산 불가능한 …
2
SAT를위한 최고의 현재 공간 하한?
에 이어 앞의 질문 , SAT에 가장 적합한 현재 공간 하한 은 무엇 입니까? 공간 하한이있는 경우 여기서는 이진 작업 테이프 알파벳 을 사용하는 Turing 기계에서 사용하는 작업 테이프 셀의 수를 의미합니다 . TM이 고정 된 수의 워크 테이프 셀을 시뮬레이션하기 위해 내부 상태를 사용할 수 있기 때문에 지속적인 추가 …
5
컴퓨터 지원 NP- 완전성 증명에 대한 궁금
Thomas J. Schaefer 의 논문 "만족도 문제의 복잡성" 에서 저자는 This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would be instructed to …
1
교집합과 노조 유형의 실제 문제는 무엇입니까?
간단한 정적으로 유형화 된 함수형 프로그래밍 언어를 학습 경험으로 설계하고 있습니다. 지금까지 구현 한 유형 시스템은 약간의 추가 작업으로 교차 및 조합 유형을 통합 할 수 있습니다. <Union String Integer> <Union Integer Foo> 위의 두 유형의 교차점은 평범 할 것입니다. Integer 두 유형의 결합은 <Union String Integer Foo> 물론 이것이 …
10
비가 중 그래프에서는 쉽지만 가중 그래프에서는 어려운 문제
비가 중 그래프와 가중 그래프 모두에서 다항식 시간으로 많은 알고리즘 그래프 문제를 해결할 수 있습니다. 일부 예는 최단 경로, 최소 스패닝 트리, 최장 경로 (지향 비순환 그래프에서), 최대 흐름, 최소 컷, 최대 일치, 최적의 arborescence, 특정 가장 조잡한 하위 그래프 문제, 최대 분리 된 지시 컷, 특정 그래프 클래스의 최대 …
2
모든 최단 경로가 고유 한 그래프
I는 방향성이, 가중 접속 그래프 바라는 모든 쌍에 대한 한, U , V ∈ V 고유가 U → V의 거리 실현 경로 D를 ( U , V ) .G = ( V, E)G=(V,E)G=(V,E)u , v ∈ Vu,v∈Vu,v \in Vu → vu→vu \rightarrow v디( u , v )d(u,v)d(u,v) 이 그래프 클래스는 …
3
과학자들에게 점근 적 최악의 분석을 정당화
나는 생물 학자들에게 흥미롭고 유용한 목표를 가지고 계산 복잡성의 결과 를 이론적 생물학, 특히 진화 및 생태학 에 도입하기 위해 노력하고 있습니다. 내가 직면 한 가장 큰 어려움 중 하나는 하한에 대한 점근 적 최악의 분석의 유용성을 정당화하는 것입니다. 과학 관객에게 하한과 점근 적 최악의 분석을 정당화하는 기사 길이 참조가 …
1
정확한 평면 전기 흐름
각 그래프는 1Ω 저항을 나타내는 평면 그래프 G로 모델링 된 전기 네트워크를 고려하십시오. G에서 두 정점 사이 의 정확한 유효 저항을 얼마나 빨리 계산할 수 있습니까? 마찬가지로 1V 배터리를 G의 두 꼭짓점에 연결하면 각 가장자리를 따라 흐르는 정확한 전류를 얼마나 빨리 계산할 수 있습니까? Kirchhoff의 잘 알려진 전압 및 전류 …
2
결정적이고 영구적 인 하한
깊이 3 결과 에서 최근의 틈에 비추어 (다른 무엇보다도 2 √를 산출합니다)깊이 3위한 연산 회로N×N이상 행렬식C가), I는 다음의 질문 : Grigoriev 및 카핀 스키가입증2Ω을(N)의 행렬식 계산 어떤 깊이 -3- 연산 회로 하한N을×N유한 필드에 대한 행렬 (내 생각에 영구 필드도 보유합니다). 퍼머넌트를 계산하기위한라이저의 공식은 크기O(n22n)=2O(2엔√로그엔2nlog⁡n2^{\sqrt{n}\log{n}}n × nn×nn \times n 기음C\mathbb{C}2Ω ( …
1
3 차 그래프에는 쉽지만 최대 3 도의 그래프에는 어려운 문제가 있습니까?
입방 그래프는 모든 정점이 3 등급 인 그래프입니다. 그것들은 광범위하게 연구되었으며 몇 가지 NP- 하드 문제가 입방 그래프의 서브 클래스로 제한 되더라도 NP- 하드로 남아 있지만 일부는 더 쉬워진다는 것을 알고 있습니다. 3 차 그래프의 수퍼 클래스는 최대 학위 인 그래프 클래스입니다 .Δ ≤ 3Δ≤삼\Delta \leq 3 3 차 그래프의 …
1
자연스럽고 테스트 할 수없는 그래프 속성
그래프 특성 테스트에서, 알고리즘은 원하는 어느 특정한 속성을 갖거나인지를 판단하는 가장자리 요구의 유무에 대한 목표 그래프를 쿼리 속성을 갖는로부터 -far. (단면 또는 양면 오류로 알고리즘을 성공하도록 요청할 수 있습니다.) 그래프는 입니다. 없으면 속성이없는 것입니다.ϵϵϵ\epsilonϵϵ\epsilonϵ ( n2)ϵ(n2)\epsilon \binom{n}{2} 에지 이끌어 차감 / 추가 할 수 속성이 있습니다. 속성은 하위 선형 수의 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.