«cc.complexity-theory» 태그된 질문

P 대 NP 및 기타 리소스 제한 계산.

5
TCS 외부의 복잡성 이론 추측의 수학적 의미
다른 수학 분야 (예 : 이론적 컴퓨터 과학 외부)에서 복잡도 이론에 대한 (표준) 추측의 흥미로운 결과를 알고 있습니까? 다음과 같은 경우 답변을 선호합니다. 복잡성 이론 추측은 가능한 한 일반적이고 표준입니다. 나는 특정 문제의 경도에 대한 결과도 괜찮지 만 문제가 광범위하게 어렵다고 생각되면 (또는 적어도 두 장 이상의 논문에서 연구 된 …
2
숫자 필드에서 팩토링의 복잡성
일반 숫자 필드에서 인수 분해 정수의 계산 복잡성에 대해 알려진 것은 무엇입니까? 더 구체적으로: 정수에서 이진 확장을 통해 정수를 나타냅니다. 일반 숫자 필드에서 정수의 유사한 표현은 무엇입니까? 숫자 필드의 우선 순위가 P 또는 BPP에 있다는 것이 알려져 있습니까? 숫자 필드를 인수 분해하는 데 가장 잘 알려진 알고리즘은 무엇입니까? ( 익스프레스 …
3
"그래프는 제품이다"의 복잡성
이 질문은 순수한 호기심에서 비롯됩니다 ( 문자열을 섞지 않는 것에 대해 생각하면서 나왔지만 실제로 관련이 있는지 확실하지 않습니다). 그래서 나는 그것이 적절하기를 바랍니다. 다양한 그래프 제품이 있으며 여기에 관심이 있습니다. 그래프 가 사소한 제품과 동형 인지 여부를 결정하는 복잡성은 무엇입니까 ? (직교 카티 전 곱의 경우 K = K ◻ …
2
완벽한 매칭을 허용하는 계산 유도 서브 그래프의 계산 복잡성
무향 및 가중 그래프 주어 및 짝수 정수 , 정점 카운트 세트 계산량 무엇 되도록 및 서브 그래프 정점 세트에 제한은 는 완벽한 매칭을 인정합니까? 복잡성이 # P- 완전합니까? 이 문제에 대한 참조가 있습니까?k S ⊆ V | S | = k G SG=(V,E)G=(V,E)G=(V,E)kkkS⊆VS⊆VS\subseteq V|S|=k|S|=k|S|=kGGGSSS 문제는 일정의 코스 쉬운 것을 …
2
AC0 함수의 공식 크기 하한
의문: AC 0 의 명시 적 함수에 대해 가장 잘 알려진 공식 크기 하한은 무엇입니까 ? 하한이 인 명시 적 기능이 있습니까?Ω ( n2)Ω(n2)\Omega(n^2) 배경: 대부분의 하한과 마찬가지로 수식 크기의 하한은 구하기 어렵습니다. 표준 범용 게이트 세트 {AND, OR, NOT}에 대한 공식 크기 하한에 관심이 있습니다. 이 게이트 세트에서 명시 …
11
동등성이 쉽지만 클래스 대표자를 찾기 어려운 예
객체 클래스 (예 : 그래프, 문자열)와 이러한 객체에 대한 등가 관계가 있다고 가정합니다. 그래프의 경우 이것은 그래프 동형 일 수 있습니다. 문자열의 경우, 서로의 아나그램 인 경우 두 문자열을 동등하게 선언 할 수 있습니다. 동등성 클래스의 대표자를 계산하는 데 관심이 있습니다. 즉, 두 객체 x, y, f (x) = f …
4
초 선형 회로 바운드가 알려진 "가장 작은"복잡성 클래스는 무엇입니까?
반드시 많은 표준 참조에 포함되어야하는 질문을하는 것에 대한 사과. 제목의 질문에 대해 궁금합니다. 특히 부울 회로가 있고 깊이에 제한이 없습니다. 나는 "가장 작은"따옴표로 묶어 서로를 포함하는 것으로 알려진 여러 개의 다른 클래스가있을 가능성을 허용하기 위해 초 선형 경계가 알려져 있습니다.
5
지수 적으로 해결할 수있는 하드 그래프 문제
Arora, Barak 및 Steurer의 고유 게임 및 관련 문제에 대한 하위 지수 알고리즘 의 최근 결과를 고려하여, 하위 지수 시간 알고리즘이 있지만 다항식으로 해결할 수없는 것으로 생각되는 그래프 문제에 관심이 있습니다. 유명한 예는 런타임의 지수 지수 알고리즘을 갖는 그래프 동형입니다 . 또 다른 예는 준 다항식 시간 ( )으로 해결할 …
4
왜 복잡성 클래스들 사이의 평등이 하향이 아닌 상향으로 번역 되는가?
안녕하세요, 패딩 트릭을 사용하면 복잡한 클래스를 위쪽으로 변환 할 수 있습니다 (예 : . 패딩은 입력을 "팽창"하여 변환 (예 : 에서 )을 실행하여 패딩 된 입력에서 실행할 수있는 "매직"알고리즘을 생성합니다. 이것이 기술적으로 의미가 있지만, 이것이 어떻게 작동하는지 잘 이해할 수 없습니다. 여기서 정확히 무슨 일이 일어나고 있습니까? 패딩이 무엇인지에 대한 …
5
SAT의 고유 한 솔루션 확인
다음 문제점을 고려하십시오. CNF 공식 및이 공식을 만족하는 지정이 주어지면이 공식에 대해 만족스러운 다른 지정이 있습니까? 이 문제의 복잡성은 무엇입니까? (가장 확실하게 NP에 있지만 NP-hard입니까?) 할당이 주어지지 않고 수식에 고유 한 만족 할당이 있는지 여부를 결정하려면 어떻게해야합니까? 감사.
4
P = RP에 대한 구체적인 증거는 무엇입니까?
RP 는 다항식 시간으로 종료되는 비 결정적 튜링 머신에 의해 결정될 수있는 문제의 클래스이지만 일방적 인 오류도 허용됩니다. P는 다항식 시간으로 끝나는 결정 론적 Turing machine에 의해 결정될 수있는 일반적인 종류의 문제입니다. P = RP는 회로 복잡도의 관계에서 따릅니다. Impagliazzo와 Wigderson은 결정 론적 지수 시간으로 결정될 수있는 문제가 지수 크기 …
4
증거, 장벽 및 P 대 NP
잘 해결 증거 것으로 알려져있다 순이익 대비 P 문제는 극복해야한다 상대화 , 자연 교정 및 algebrization의 장벽을. 다음 다이어그램은 "증거 공간"을 다른 지역으로 분할합니다. 예를 들어, RNRNRN 은 상대화하고 귀화시키는 일련의 증명에 해당합니다. GCTGCTGCT (Geometric Complexity Theory)는 물론 외부 지역입니다. 가장 잘 알려진 지역과 함께 일부 증거를 명명하십시오. 증거가 귀화를 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.