이론 컴퓨터 과학

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

1
다항식 아이덴티티 테스트
다항식 아이덴티티 테스트에서 우리는 두 개의 다항식 등식을 추론하기위한 결정 론적 알고리즘을 찾습니다 . 알려진 효율적인 무작위 알고리즘의 비 무작위 화와 효율적인 결정 론적 알고리즘 생성은 중요한 개방형 문제입니다. 이 한 종류의 다항식에 대한 비정규 화 아이덴티티 테스트가이 열린 문제를 해결하도록 PIT에 대한 완전한 문제가 있습니까? 그렇지 않다면,이 문제가 해결되는 …
2
단어 목록 분리
분리 문제로 알려진 공식 언어에는 개방 된 문제가 있습니다. 이것은 길이 의 두 개의 별개의 문자열이 주어 졌을 때 간단히 언급되는데 , 얼마나 많은 DFA가 그것들을 "분리"해야하는지에 따라 한 문자열은 받아들이지 만 다른 문자열은 거절한다는 의미입니다.nnn 다음은 관련 논문 1 , 2 입니다. (몇 개 더 있지만 게시 할만한 평판이 …
1
배열에서 가장 큰 셀
Q . 차원 d 에서 초평면배열에서 가장 큰 부피 경계 셀을 찾는 복잡성은 무엇입니까 ?엔nn디dd 나는 이것을 알아야한다고 생각하지만 ... 결정적인 참조를 찾지 못했습니다. 그것은인가 ? 방법에 대해 D = 2 전문화 : 라인의 배열에서 가장 큰 지역 경계 세포?Ω(nd)Ω(nd)\Omega(n^d)d=2d=2d{=}2
1
게으름 관련 메모리 누수를 방지하는 유형 시스템?
아마도 Haskell의 성능 문제의 주요 원인은 프로그램이 우연히 무한한 깊이의 덩어리를 쌓을 때입니다. 이는 평가할 때 메모리 누수와 잠재적 인 스택 오버플로를 유발합니다. 전형적인 예는 sum = foldr (+) 0Haskell에서 정의 됩니다. 게으른 언어를 사용하는 프로그램에서 그러한 썽크 부족을 정적으로 강제하는 유형 시스템이 있습니까? 이 방법은 유형 시스템 확장을 사용하는 …
1
미분 방정식을 자체 복잡성 클래스로 분류 할 수 있습니까?
계산 복잡성으로 인해 문제가 전체적으로 분류되었습니다. 그러나 미분 방정식에서 계산 구조에 따라 미분 방정식을 분류 할 수 있습니까? 예를 들어, 1 차 균질 방정식이 100 차 균질 방정식보다 해결하기 어려운 경우, 풀기 방법이 동일하다고 가정 할 때 별개의 볼록 클래스로 분류 할 수 있습니까? 우리가 해결 과정을 다양하게하면, 솔루션, 그 …
2
무 방향 (/ 가중) 그래프 에서는
NP-Completeness ( 무게 질문 및 지시 된 질문 참조)에 관한 동등한 질문에 따라 매개 변수화 된 문제가 이러한 속성에 어떻게 영향을 받는지 궁금했습니다. 유 방향 그래프에서 어떤 -hard 그래프 문제가 -Hard이지만 무 방향 그래프에서 다루기 쉬운 고정 매개 변수는 무엇입니까?엔피엔피NP여[ 1 ]여[1]W[1] 가중치 그래프에서 어떤 하드 그래프 문제가 -단단하지만 비가 …
1
증거 그래프 동형의 문제가 있음을하지
그래프 동형 문제는 또는 N P 완전 문제 로의 분류에 저항 한 가장 오래된 문제 중 하나입니다 . 우리는 그것이 N P- 완전 할 수 없다는 증거를 가지고 있습니다 . 첫째, 다항식 계층 구조 [1]이 두 번째 수준으로 축소되지 않으면 그래프 동형이 N P-완료 될 수 없습니다 . 또한, 카운트는 …
3
확률 적 전력 도메인 작업하에 알려진 CCC가 있습니까?
마찬가지로 확률 론적 고차 함수 프로그래밍 언어에 대한 알려진 의미 론적 의미가 있습니까? 구체적으로, 대칭 랜덤 이진 선택 연산에 의해 확장 된 순수한 타입이없는 미적분 의 도메인 모델이 있습니까?λλ\lambda 자극 직교 폐쇄 범주는 고차 -calculi에 의미를 제공합니다 . 확률 적 파워 도메인은 확률 적 프로그램에 의미를 제공합니다. 확률 적 전력 …
1
Hartmanis-Stearns 추측과 계산 가능한 초월수
Hartmanis and Stearns 의 1965 년 기사 " 알고리즘의 계산 복잡성 "에서, 저자는 실시간 Turing Machine이 실수 을 계산할 경우 , 예를 들어 밑이 10 인 경우 은 유리수 또는 a라고 가정합니다. 초월 번호.rrrrrr 예를 들어 10 진법과 같은 실시간 튜링 머신에서 계산할 수없는 계산 가능한 초월 번호가 있습니까?
3
증명 복잡도 이론에서 증명에 대한 이론적 제한 그래프
증명 복잡도는 계산 복잡도 이론의 가장 기본적인 영역입니다. 이 영역의 궁극적 인 목적은 를 증명 하는 것입니다. 즉, 모든 입력자가 주어진 입력 수식이 만족스럽지 않다는 증거를 제공 할 수 없습니다. 엔피≠ c o N피엔피≠씨영형엔피NP\neq coNP 그래프는 공식적인 증명 모델 중 하나입니다. 내 질문은이 모델에 대한 추가 제한에 관한 것입니다. 증명은 …
2
단어 (즉, 무한 단어)를 받아들이는 오토마타 최소화
Büchi-Automata (또는 Müller-Automata)를 최소화하기위한 표준 접근법은 무엇입니까? 유한 단어에서 일반적인 기술을 이전하는 것, 즉 받아 들여진 상태에서 "실행 중"이라는 단어가 동일한 경우 두 상태를 동일하게 설정하면 작동하지 않습니다. 예를 들어 Büchi-Automoton이 초기 상태와 최종 상태의 두 가지 상태로 구성된 무한한 수의 a를 가진 모든 단어를 받아들이고 a를 읽을 때마다 최종 …
1
미세 구조 상수와 관련된 QED 계산을위한 양자 알고리즘
내 질문은 미세 구조 상수와 관련된 QED (양자 전기 역학) 계산을위한 양자 알고리즘에 관한 것입니다. 그러한 계산은 (나에게 설명 된 바와 같이) Taylor 유사 계열 여기서 α 는 미세 구조 상수 (약 1/137)이고 c k 는 k- 루프를 가진 Feynman 다이어그램의 기여입니다 . ∑ c케이α케이,∑ckαk,\sum c_k\alpha^k,αα\alpha씨케이ckc_k케이kk 이 질문은 내 블로그의 …
1
분산 트랜잭션의 주요 연구 문제는 무엇입니까?
배경 : 트랜잭션 처리는 데이터베이스 이론에서 전통적인 연구 주제였습니다. 오늘날 분산 트랜잭션 은 일반적으로 데이터 파티션 (샤딩이라고도 함) 및 데이터 복제를 포함하는 대규모 분산 스토리지 시스템에 의해 대중화됩니다 . 분산 트랜잭션의 주요 연구 문제는 무엇입니까? (이론적) 개선이 필요한 잘 알려진 이론과 솔루션이 있습니까? 모든 참조를 부탁드립니다.
2
정규 언어가 추가되어 폐쇄됩니까?
구체적으로 덧셈의 의미는 를 알파벳 { 0 , 1 , 2 ,로 정의 합니다. . . , 나는 } . 지정된 정규 언어 와 B 약간의 알파벳에서 Σ 전 에서,보기 × B .Σ나는Σi\Sigma_i{ 0 , 1 , 2 , . . . , 나는 }{0,1,2,...,i}\{0, 1, 2, ..., i\}ㅏAA비BBΣ나는Σi\Sigma_iA × …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.