이론 컴퓨터 과학

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

2
구문 분석 트리를 업데이트하기위한 효율적인 알고리즘
이미 이미 분석하고 파싱 한 큰 코드 블록이 있다고 가정 해 봅시다. 한 글자 만 바뀌 었다고 가정하자. 파싱을 업데이트하고 싶지만 수정이 전체에 비해 매우 작기 때문에 전체를 다시 파싱 할 수는 없지만 재분석 할 범위를 결정하는 알고리즘이 있는지 알고 싶습니다. 이동하는 토큰 경계를 올바르게 처리합니다. 미리 감사드립니다!
2
nats 또는 다른 귀납적 데이터 유형의 미적분학에 대한 제거 제거?
누구든지 자연수 (목록 또는 나무도 괜찮을 것입니다)와 같은 귀납적 데이터 유형을 포함하여 제안 직관 논리에 대한 컷 제거 제거 이론을 자세히 설명하는 논문으로 안내합니까? 내가 관심있는 시스템의 예는 문법 A : : = N으로 주어진 유형을 가진 Godel의 T입니다 . . 나는 자연수 또는 자연수로 색인화 된 술어에 대한 수량 …
2
일반 무 방향 그래프로 헝가리어 알고리즘의 일반화?
헝가리어 알고리즘은 다항식 시간에서 최대 중량의 이분법 매칭 문제 를 해결 하고 중요한 초기 이중 법 의 추후 개발을 예상 하는 조합 최적화 알고리즘입니다 . 이 알고리즘은 1955 년 Harold Kuhn에 의해 개발 및 출판되었으며,이 알고리즘은 헝가리의 두 수학자 인 Dénes Kőnig와 Jenő Egerváry의 초기 작업을 기반으로했기 때문에 "헝가리어 알고리즘"이라는 …
2
헝가리어 방법에 대한 정당성 (Kuhn-Munkres)
웹에서 찾은 강의 노트를 기반으로 최소 중량의이 분체 완전 매칭 문제에 대한 Kuhn-Munkres 알고리즘의 구현을 작성했습니다. 수천 개의 정점에서도 실제로 잘 작동합니다. 그리고 그 배후의 이론은 정말 아름답다는 데 동의합니다. 그러나 나는 아직도 왜 그런 길이로 가야하는지 궁금합니다. 이 강의 노트는 왜 우리가 단순히 원시 선형 프로그램을 가져와 단순한 방법으로 …
3
두 CNF가 동일한 수의 솔루션을 가지고 있는지 확인하는 복잡성
CNF가 두 개인 경우 할당 횟수가 같으면 "예"라고 답하고 그렇지 않으면 "아니오"라고 대답하십시오. 그것은에 쉽게 알 수있다 우리는이 두 CNF에 대한 해결책의 정확한 번호를 알고있는 경우에, 우리가 그들과 대답은 "예"또는 "아니오"를 campare 때문에.P#PP#PP^{\#P} 이 문제의 복잡성은 무엇입니까?
1
사소한 형태를 가진 그래프 생성
암호화 모델을 수정하고 있습니다. 부적절 함을 보여주기 위해 그래프 동형에 기초하여 고안된 프로토콜을 고안했습니다. "그래프 동 형사상 문제의 어려운 사례"를 생성 할 수있는 BPP 알고리즘의 존재를 가정하는 것은 "흔하지 않은"(아직 논란의 여지가 있습니다!)입니다. (동형의 증인과 함께) 내 생각에 프로토콜에서, 하나의 추가 요구 사항을 충족시키는 BPP 알고리즘이 있다고 가정합니다. 생성 된 …
1
Coq의 두 인수에 대해 유도 적으로 함수를 정의하는 방법은 무엇입니까?
아래에 주어진 재귀 함수가 종료된다는 것을 Coq에게 어떻게 확신시킬 수 있습니까? 이 함수는 두 개의 유도 인수를 취합니다. 직관적으로, 두 인수 중 하나가 분해되어 재귀가 종료됩니다. 특히이 함수는 두 개의 트리를 입력으로 사용합니다. Inductive Tree := | Tip: Tree | Bin: Tree -> Tree -> Tree. 나무에서 나는 다음과 같은 …
3
연관 해시 믹싱
순전히 기능적인 설정에서 낮은 단독 링크 목록을 고려하십시오. 그 칭찬은 산 정상에서 부른 노래이며 계속 부를 것입니다. 여기에서 나는 많은 강점 중 하나를 다루고 그것이 나무를 기반으로 한 순전히 기능적 시퀀스의 광범위한 클래스로 어떻게 확장 될 수 있는지에 대한 질문을 다룰 것입니다. 문제는 다음과 같습니다. 강력한 해싱을 통해 O (1) …
2
(알고리즘) 게임 이론에서 뛰어난 추측과 열린 문제?
알고리즘 게임 이론 (또는 일반적으로 CS와 관련된 게임 이론)에서 어떤 종류의 추측과 주요 문제가 가장 중요합니까? 예를 들어 PPAD가 완료된 NASH의 해결책은 해결 될 때까지 가장 큰 해결책이라고 생각합니다. (추가 : PPAD와 P 및 NP의 관계를 해결하는 것은 하나의 좋은 열린 문제이지만 계산 복잡성에 깊숙이 뿌리 내리지 않은 다른 것도 …
1
형식화되지 않은 λ- 미적분학에서 가장 안쪽 감소가 영구적입니까?
(나는 이미 MathOverflow에서 이것을 요청했지만 거기에 답이 없습니다.) 배경 형식화되지 않은 람다 계산법에서, 용어 하나 (예 격렬하게 다른 결과를 생성 할 수있다 감소할지에 대한 많은 redexes, 다른 선택을 포함 할 수있다 ( λ x . y) ( ( λ x . x x ) λ x . x x )(λ엑스.와이)((λ엑스.엑스엑스)λ엑스.엑스엑스)(\lambda …
1
의 기계 특성
에스C나는에스ㅏ씨나는SAC^i 는 무한 팬인 OR 및 경계 팬인 AND 게이트 가있는 깊이 회로 제품군으로 해결할 수있는 결정 문제 클래스입니다 . 부정은 입력 레벨에서만 허용됩니다. 대한 는 보수로 닫히고 은 닫히지 않는 것으로 알려져 있습니다. 또한 이므로 기계 특성이 있습니다. LogCFL 은 공간 경계 및 다항식 시간 경계 보조 PDA에 의해 …
1
부분 집합 합계 또는 NPP에 대한 정수 관계 감지?
정수 관계에 대한 (작은) 솔루션이 답을 얻을 수 있도록 부분 집합 합 또는 숫자 분할 문제의 인스턴스를 인코딩하는 방법이 있습니까? 확실하지 않다면 어떤 확률 론적 의미에서? 선택한 숫자의 범위가 보다 큰 '저밀도'영역에서 LLL (및 아마도 PSLQ)이 부분 집합 합계 문제를 해결하는 데 적당히 사용되었다는 것을 알고 있습니다. 선택된 숫자의 범위가 …
2
#SAT의 하한?
문제 #SAT는 정식 # P- 완전 문제입니다. 의사 결정 문제가 아니라 기능 문제입니다. 제안 논리에 부울 공식 가 주어지면 만족할만한 양수 F 가 몇 개인 지 묻습니다 . #SAT에서 가장 낮은 하한은 어느 것입니까?FFFFFF
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.