이론 컴퓨터 과학

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

2
사후 대응 문제 변형
이것은 아마도 매우 간단하지만 표준 포스트 통신 문제를 고려하십시오. 감안 및 , 인덱스의 시퀀스를 찾아 되도록 . 물론 이것은 결정 불가능합니다.β 1 , … , β N i 1 , … , i K α i 1 ⋯ α i K = β i 1 ⋯ β i Kα1, …

2
LP의 최소 최대 솔루션
물론 선형 프로그래밍은 오늘날 매우 잘 이해되고 있습니다. 우리는 실현 가능한 솔루션의 구조와 최적의 솔루션의 구조를 특징 짓는 많은 일을했습니다. 우리는 강력한 이중성, 다중 시간 알고리즘 등을 가지고 있습니다. 그러나 LP의 최소 최대 솔루션 에 대해 알려진 것은 무엇 입니까? 아니면 최대 최소 솔루션입니까? (이것은 실제로 연구 문제는 아니지만 공휴일에는 …



1
“외 계속”그래프의 트리 폭이 일정합니까?
하자 하고 넣어야 G 케이 속의 표면에 삽입 할 수있는 모든 그래프의 세트 K 모든 정점이되도록 외면 상에 위치되어이 . 예를 들어, G 0 은 외부 평면 그래프 세트입니다. 그래프에서의 treewidth 수 G의 K는 상부의 일부 기능에 의해 제한되는 K ?k∈Nk∈Nk\in\mathbb{N}GkGkG_kkkkG0G0G_0GkGkG_kkkk 일정한 나무 폭은 일정한 속을 암시하지 않기 때문에 다른 …


1
나무 분해의 전형적인 경도?
최악의 경우에는 트리 분해가 어렵지만 작은 실제 네트워크에서는 욕심 많은 방법이 거의 최적의 것으로 보입니다. 어떤 종류의 그래프의 "일반적인"인스턴스의 나무 분해 경도에 대해 알려진 것이 있습니까? 나무 분해에 대한 탐욕스러운 방법이 나쁘게 진행되는 그래프 계열의 예가 있습니까?


10
P 대 NP 문제에 대해 배울 수있는 자료
나는 최근 Clay Mathematics Institute의 Stephen A. Cook이 설명한 대 N P 문제 에 대해 상기시켰다 .피P\mathsf{P}N PNP\mathsf{NP} 그것은 내 관심을 끌었고 그것에 대해 더 많이 배우고 싶습니다. 첫 번째 단계는 문제에 대한 더 깊은 이해와 일반적으로 해당 영역에 대한 이해를 얻는 것입니다. 문제에 대해 더 자세히 배울 수있는 책이나 …

3
알고리즘이 균일하게 임의의 솔루션을 반환함으로써 달성되는 최상의 근사화 비율의 문제점은 무엇입니까?
균일하게 랜덤 한 솔루션을 반환하는 알고리즘에 의해 가장 잘 알려진 근사치 비율의 문제점은 무엇입니까? 나는 순열 흐름 상점 문제 대한 하나의 예를 알고있다 : " 순환 흐름 상점 예약을위한 꽉 바운드 "Viswanath Nagarajan 및 Maxim Sviridenko 논문에서 임의의 작업 순서가 현재 가장 잘 알려진 ( 컴퓨터 수 및 작업 수).F|perm|CmaxF|perm|CmaxF|perm|C_{max}2min{m,n}−−−−−−−−−√2min{m,n}2\sqrt{min\{m,n\}}mmmnnn

2
연결된 모든 하위 그래프 계산의 복잡성
G를 연결된 그래프라고하자. G가 다음 유형 인 경우 연결된 모든 하위 그래프 를 계산하는 것이 얼마나 복잡 합니까? G는 일반적입니다. G는 평면이다. G는 이분입니다. 나는 구조에 관심이 없거나 ..., 연결된 모든 하위 그래프를 계산해야합니다! 또한 G에서 정확히 k 개의 노드 로 연결된 모든 하위 그래프 를 계산하는 복잡성에 관심이 있습니다 …



2
결정 가능하지만 다항식 시간으로 확인할 수없는 문제
Suresh를 위해 다소 관련이없는 프로젝트를 진행하면서 최근에는 사용자 구성 시스템에 대해 Page와 Opper가 수행 한 일부 작업과 일부 작업에 대해 다항식 시간으로 확인할 수없는 문제에 대해 간략하게 논의했습니다. 다항식 시간으로 확인할 수 없거나 다른 문제를 분석 할 수없는 다른 문제에 대한 많은 정보를 찾지 못했습니다. 여러분 중 누구라도 그러한 문제 …

1
Clifford 그룹 양자 연산 및 클래식 계산
퀀텀 연산자 의 Clifford 그룹 은 퀀텀 작업에 의해 생성됩니다. 제어-Z , 마드 하고, 단계 ( ).=|0⟩⟨0|+i|1⟩⟨1|=|0⟩⟨0|+i|1⟩⟨1|= |0\rangle\langle0| + i |1\rangle\langle1| 이러한 게이트로만 구성된 회로는 클래식 컴퓨터에서 효율적으로 시뮬레이션 할 수 있습니다. 그러나, 내가 올바르게 이해한다면, 최소한 우리가 아는 한 모든 클래식 알고리즘을 Clifford 그룹 작업을 사용하여 효율적으로 구현할 수있는 …

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.