이론 컴퓨터 과학

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

1
결합기의 불완전한 기초
이것은 이 질문에서 영감을 얻은 것입니다. 하자 두 바인딩 변수를 모두 콤비를 수집합니다. 가 C가 된 조합 완료?CC\mathcal{C}CC\mathcal{C} 나는 그 대답이 부정적이라고 생각하지만 이에 대한 언급을 찾을 수 없었습니다. 또한 콤비 네이터 세트의 조합 불완전 성 증명에 대한 참조에 관심이 있습니다 ( 한 묶인 변수가있는 콤비 로 구성된 세트 D …
2
SML 데이터 유형의 하위 집합 인 하위 유형
순전히 기능적인 데이터 구조에 대한 오카 사키의 책에 대해 내가 싫어하는 몇 가지 중 하나는 코드가 완전한 패턴 일치로 흩어져 있다는 것입니다. 예를 들어, 실시간 대기열 구현 (불필요한 중단을 제거하기 위해 리팩토링)을 제공합니다. infixr 5 ::: datatype 'a stream = Nil | ::: of 'a * 'a stream lazy structure …
1
형식 이론에서 비 종료 및 정지 증명에 대한 좋은 개념이 있습니까?
카레 하워드 대응 하의 기본 해석을 가진 구성 유형 이론은 총 계산 가능한 함수로만 구성됩니다. 문헌에서 일부는 기능적 프로그램에서 비 종료를 나타 내기 위해 "계산 형 이론"을 사용하는 것에 대해 언급되었지만, 내가 본 논문에서는 이론에 대한 주요 동기가 아닌 것으로 보입니다 (예 : Benton 은 비 종결에 대해 자세히 설명하지 …
1
유한 필드에 대한 선형 동적 시스템에서 접근성의 복잡성
하자 AAA 유한 필드 위에 행렬 F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} 및 xxx , yyy 공간 벡터 일 Fn2F2n\mathbb{F}_2^n . 내가 거기에 존재하는지 여부를 결정하는 계산 복잡도에 관심이 t∈Nt∈Nt \in \mathbb{N} 등이 Atx=yAtx=yA^t x = y 유한 필드 이상 선형 동적 시스템에 대한 접근 가능성의 문제에서, 즉,. 문제는 분명히 NPNP\mathbf{NP} (추측 0≤t<2n0≤t<2n0 …
1
확률 적 오토마타 소개
확률 적 오토마타에 대한 소개와 그들이 인식하는 것 (단어에서 까지의 특정 기능)은 어디에서 찾을 수 있습니까 ? 결정적 유한 오토마타 (DFA)가 인식하는 "일반 언어"와 유사한 확률 적 오토마타에 의해 인식되는 이러한 기능에 대한 표준 용어가 있습니까?[ 0 , 1 ][0,1][0,1] DFA 및 표현력, 폐쇄 및 결정 가능성 속성과 같은 일반 …
1
최대 중량 매칭 및 서브 모듈 기능
된 그래프 주어 G=(U∪V,E)G=(U∪V,E)G = (U \cup V, E) 포지티브 가중치하자 와 그래프에서 최대 가중치 매칭 동일 f ( S ) G [ S ∪ V ]f:2U→Rf:2U→Rf: 2^U \rightarrow \mathbb{R}f(S)f(S)f(S)G[S∪V]G[S∪V]G[S\cup V] . fff 가 하위 모듈 함수 라는 것이 사실 입니까?
1
초고속 트리 폭을 가진 그래프 클래스
경계 폭이 제한된 몇 가지 흥미로운 그래프 클래스가 있습니다. 예를 들어, 나무 (treewidth 1), 시리즈 병렬 그래프 (treewidth 2), outerplanar graphs (treewidth 2), -outerplanar graphs (treewidth O (k)), branchwidth (treewidth O (k))의 그래프 . .케이케이k케이케이k 질문 : 트리 폭이 상수가 아니라 저성장 함수에 의해 제한되는 흥미로운 그래프 클래스의 예가 있습니까? …
1
대칭 다항식 평가
하자 될 대칭 다항식 , 즉, 다항식되도록 F ( X ) = F ( σ ( X ) ) 모두를위한 X ∈ K N 모든 순열 σ ∈ S N . 편의상 계산 모델의 문제 해결을 피하기 위해 K 를 유한 필드 라고 가정 할 수 있습니다 .f:Kn→ Kf:Kn→Kf:\mathbb{K}^n \to …
2
최적화하기 쉽지만 평가하기 어렵다
주어진 후보 솔루션의 품질을 평가하는 것보다 최적의 솔루션을 생성하는 것이 훨씬 쉬운 최적화 문제의 알려진 자연적인 예가 있습니까? 구체성을 위해, 우리는 폼의 다항식 시간 풀수 최적화 문제를 고려할 수있다 : "특정 X를 최소화 "여기서, F : { 0 , 1 } * × { 0 , 1 } * → …
1
Clique에서 SAT 로의 Cook의 일반적인 감소를 개선하고 있습니까?
인스턴스를 더 크게 만들지 않고 -Clique를 SAT 로 줄이는 데 관심이 있습니다.kkk Clique는 NP에 있으므로 대수 공간을 사용하여 SAT로 줄일 수 있습니다. 간단한 Garey / Johnson 교과서 축소는 인스턴스를 입방 크기로 날려 버립니다 . 그러나 Clique는 모든 고정 대해 P에 있으므로 적어도 고정 대한 효율적인 감소가 "필요"해야한다 .kkkkkkkkk 축소를 구축하는 …
1
결론 : 모든 FPT NP- 완전 언어는 고정 매개 변수-동형
Berman–Hartmanis 추측 : 모든 NP 완성 언어는 다항식 시간 동형에 의해 서로 관련 될 수 있다는 의미에서 유사하게 보인다 [1]. "다항식 시간"의보다 세분화 된 버전, 즉 매개 변수화 된 축소를 사용하는 경우에 관심이 있습니다. 매개 변수화 된 문제는 의 부분 집합입니다 . 여기서 Σ 는 유한 알파벳이고 Z ≥ 0 …
1
이분법 정리는 무엇을 먹습니까?
NP 문제 의 특정 클래스 에는 이분법 정리 가 있으며 클래스의 모든 작업이 NP 완료 이거나 P에 있음을 보장합니다 . 가장 잘 알려진 결과는 Schaefer의 이분법 정리 와 여러 일반화입니다. 이 이분법 정리를 증명하는 것은 실제로 쉽지 않다는 것을 이해합니다. 왜 특정 클래스에는 이분법 정리가 있고 다른 클래스에는 그렇지 않은지에 …
1
트랜스 듀서의 출력 길이가 입력 길이에 의해 제한되는지 여부를 결정할 수 있습니까?
여기에서 고려되는 변환기는 Wikipedia가 유한 상태 변환기를 호출하는 변환기 입니다. 변환기의 동작 , 그 계산의 관계가 기록되어있다, : 워드 위한 출력 인 IFF .[ T ] y x x [ T ] y티TT[ T][T][T]와이yy엑스xxx [ T] yx[T]yx[T]y 질문 : 다음 문제를 결정할 수 있습니까? 주어진 : 트랜스 듀서 와 정규 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.