이론 컴퓨터 과학

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

1
결의 절 공간 복잡성에 대한 직접 합 정리?
결의안은 CNF의 불만족을 입증하는 제도입니다. 해결 증거는 CNF의 초기 조항에 대한 빈 조항의 논리적 추론입니다. 특히 모든 초기 조항을 유추 할 수 있으며 두 조항 A∨xA∨xA \lor x 및 B∨¬xB∨¬xB \lor \neg{x} 에서 조항 A∨BA∨BA \lor B 도 추론 할 수 있습니다. 반박은 공제로 끝나는 일련의 추론입니다. 그러한 반박이 구현되면, …
1
계산 가능한 시퀀스를 (한계 적으로) 예측하는 것이 정지 문제만큼 어렵습니까?
질문 : 계산 가능한 시퀀스를 예측하는 것 (아래 정의 참조)이 정지 문제만큼 어렵습니까? 정교 : "예측"은 성공적으로 예측하는 것을 의미합니다. 즉, 이전 n-1 비트에 대한 액세스 권한이 주어지면 시퀀스의 n 번째 비트를 예측하려고하는 작업 (제 1 비트에서 시작하여 전체 무한 계산 가능 시퀀스). 튜링 머신 예측기 p에 대해 간단한 대각선 …
3
실질적인 결과
배경 회로 복잡도 은 무한 팬인 AND, OR 및 NOT을 사용하여 빌드 된 경계 깊이 및 다항식 크기 의 회로 패밀리 세트 (즉, 회로 시퀀스, 각 입력 크기마다 하나씩)로 정의 됩니다.C0AC0AC^0 비트 입력 의 패리티 함수 는 입력 비트의 XOR과 같습니다.n⊕⊕\oplus엔nn 회로 복잡성이 입증 된 첫 번째 회로 하한은 다음과 …
3
좋은 카테고리 이론-도메인 이론 사전이란 무엇입니까?
도메인 이론 범주 (CPO 및 CPO)를 다룰 때 , 나는 종종 도메인 이론에서 범주 이론의 언어에 대한 사전을 원한다.ωω\omega 즉, 개념, 예를 들어, Monic Arrow는 사전에서 찾아보고 다른 도메인 범주에서 알려진 특성을 볼 수 있습니다. 나는이 소망이 기대하기에는 너무 크다는 것을 알고 있지만 그것을 근사하는 텍스트 나 자료가 있습니까?
1
복잡성과 계산 계층에 걸친 문제의 균일 한 계층
누구나 균일하게 변화하고 복잡성과 계산 성의 "흥미로운"계층 구조 중 하나에 걸쳐있는 일련의 문제를 알고 있습니까? 흥미롭게도, 예를 들어 다항식 계층, 산술 계층 또는 분석 계층을 의미합니다. 또는 (N) P, (N) EXP, 2 (N) EXP,……\ldots 보다 구체적으로 : 산술 계층을 특징 짓는 균일 한 문제 세트를 제공 할 수 있습니다 : …
3
검색 엔진 마케팅 경매에서 키워드 선택 문제
우선, 여전히 cstheory 가이 질문에 잘 맞는지 확실하지 않으므로 군중이 그렇지 않다고 생각하면 기분이 상하지 않습니다 ... 검색 엔진 마케팅에서 몇 가지 문제가 흥미 롭습니다. 공정한 (그리고 수익성있는) 경매 메커니즘의 설계 및 제한된 통화 자원 하에서 최적의 입찰 전략 계산은 흥미로운 (그리고 잘 문서화 된) 문제의 두 가지 예입니다. 관심있는 …
1
Friedman의 (확실 할 수없는) 어퍼 시프트 고정 점 정리의 계산 결과?
Harvey Friedman은 ZFC에서 증명할 수없는 깔끔한 고정 소수점 결과가 있음을 보여주었습니다 (일반적인 Zermelo-Frankel 선택 이론에 대한 이론). 많은 현대 논리가 고정 소수점 연산자를 기반으로하므로 궁금합니다. 이론적 컴퓨터 과학에 대한 상위 이동 고정 소수점 정리에 대해 알려진 결과가 있습니까? 돌이킬 수없는 상단 시프트 고정 소수점 정리 모든 에 대해 일부 에 …
1
측정 기반 Universal Blind Quantum Computation의 의존적 보정
에서는 유니버설 블라인드 양자 계산 autors은 거의 전형적인 사용자는 계산의 콘텐츠에 대한 거의 모든 공개하지 않고 양자 서버에서 임의의 계산을 수행 할 수있는 측정 - 기반 프로토콜을 설명한다. 프로토콜 설명에서 저자는 각 큐 비트와 관련된 "종속성 세트"를 언급하며, 이는 일방 통행 모델의 결정론에 설명 된 일부 방법으로 계산됩니다. 그러나이 세트가 …
1
무한 도메인을 이용한 유한 일방적 순열
π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* 를 순열 이라고하자 . 반면 있습니다 ππ\pi 무한 도메인에 작용하여, 그 설명은 유한 수 있습니다. 으로 설명 , 내가 설명하는 프로그램을 의미 ππ\pi 의 기능을. (Kolmogorov 복잡도와 마찬가지로) 아래 설명을 참조하십시오. 예를 들어, NOT 함수는 그러한 순열 중 하나입니다. NOT (x) 함수 y = x라고하자 …
1
트랜잭션 / 읽기-쓰기 잠금 해결에 어떤 알고리즘 / 읽기 문제를 권장하십니까?
단순화 된 클래식 데이터베이스 트랜잭션은 다음과 같이 볼 수 있습니다. M 항목 읽기 해당 읽기를 기반으로 일부 계산 수행 이러한 계산에 기초하여 일부 N 개의 결과를 작성하는 데, 여기에는 원래 읽은 요소가 포함될 수 있습니다. 이러한 트랜잭션을 동시에 수행 할 때는 ACID 속성을 유지해야합니다. 다른 비 DBMS 동시 시스템에는 정확히 …
1
조건에 대한 LP 공식
다음과 같은 LP가 있습니다. / * 목표 함수 * / 최소 : 1w + 2x + 0.5y + z; / * 변수 범위 * / w + x <= T1; w + y = U1; x + z = U2; T1 = 50; U1 = 70; U2 = 25; 이 …
2
정사각형 그리드에 숨겨진 다각형 퍼즐의 복잡성?
히로이 모노 인기입니다 - 완전한 퍼즐. 관련 퍼즐의 계산 복잡성에 관심이 있습니다.NPNPNP 문제는: 입력 : x n 정사각형 그리드 에있는 점 세트 와 정수 knnnnnnkkk 질문 : 다각형 모서리의 점 수가 k 이상이 되도록 직선 다각형 ( 또는 y 축에 평행 한 변 )이 있습니까?xxxyyykkk 다각형의 모든 모서리는 입력 점 …
1
편안한
다음과 같이 구성 할 수있는 타당성 질문이 있습니다. 나는 포인트가 주어진 A의 차원 벡터 공간을, 나는 가장 가까운 지점을 찾으려면 에 만족 "의 세트 형태의 제약 조건"d q p ℓ 0피피p디디d큐큐q피피pℓ0ℓ0\ell_0 세트 주어지면 중 최대 하나는 0이 아닐 수 있습니다.{ q j , j ∈ S }에스∈ [ 1 …
1
짧고 뚱뚱한 길 찾기
동기 부여 : 표준 기능 보강 경로 maxflow 알고리즘에서 내부 루프는 소스에서 가중 그래프로 경로를 찾아야합니다. 이론적으로 비합리적인 엣지 용량이있을 때 알고리즘을 종료하기 위해서는 찾은 경로를 제한해야한다는 것이 잘 알려져 있습니다. 예를 들어 Edmonds-Karp 알고리즘은 가장 짧은 경로 를 찾도록 지시 합니다. 경험적으로 우리는 또한 지방 경로 를 찾고 싶을 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.