이론 컴퓨터 과학

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

5
CS 이론에서 교직원 채용 공고를 어디서 찾을 수 있습니까?
CS 이론에서 교수직에 대한 채용 공고를 찾는 데 가장 적합한 리소스는 무엇입니까? 특히 포괄적 인 웹 사이트 나 메일 목록이 있습니까? 현재 종합적인 전 세계 채용 공고 목록을 얻으려면 다양한 리소스를 사용해야한다는 인상을 받았습니다. 이 경우입니까? 이 질문은 관련이 취업을하는 방법 내가 여기 부탁 해요 질문이 있지만, 당신은 어떻게합니까, 에 …
2
최소 만족할 수없는 3-CNF 공식
나는 현재 만족스럽지 않고 최소 크기 인 3-CNF 공식을 얻고 (또는 구성) 연구하는 데 관심이 있습니다. 즉, 가능한 한 적은 절 (m = 8)과 가능한 한 적은 고유 변수 (n = 4 이상)로 구성되어야합니다. 따라서 하나 이상의 절을 제거하면 수식을 만족시킬 수 있습니다. 보다 공식적으로, 적격 3-CNF 공식 F는 다음 …
2
강한 의미의 NP-hard 나 유사 다항식 알고리즘이없는 NP-complete 문제가 있습니까?
그들의 논문에서 (p. 503) Garey와 Johnson은 다음과 같이 말했습니다 : ... 의사 다항식 시간 알고리즘으로 강한 의미에서 NP- 완전하거나 해결할 수없는 NP- 완전 문제가 존재할 수 있습니다 ... 위에서 언급 한 속성과 관련된 후보 문제를 아는 사람이 있습니까? 이 질문에 대한 가능한 대답은 의사 다항식 알고리즘이 알려진 일반적인 의미의 NP- …
1
암호화에는 고유 한 열역학적 비용이 있습니까?
가역 컴퓨팅 은 열역학적으로 가역적 인 작업 만 허용하는 계산 모델입니다. Landauer의 원칙에 따르면 약간의 정보를 지우면 열 줄 (joule)이다 전환 기능 출력이 규칙하지 일대일 (예를 들어, 부울 AND 및 OR 연산자). 양자 계산에서 허용 된 연산이 단위 행렬로 표현되기 때문에 양자 계산은 본질적으로 가역적이라는 것이 잘 알려져있다.k Tln( 2 …
4
양적 금융의 계산 복잡성
주식 시장을 예측하는 것은 어렵습니다! TCS가이 정서를보다 공식적으로 만들 수 있습니까? 최근 저는 금융에 대해 조금 생각하기 시작했으며 TCS에 대한 지식이 어떻게 도움이 될지 궁금했습니다. 헤지 펀드와 투자 회사는 항상 알고리즘 거래, 기계 학습 및 AI를 사용하는 것처럼 보이지만 TCS 결과는 거의 없습니다. 특히, 나는 두 종이 만 알고있다 : …
1
팩토링 및 이산 로그에 대한 선형 하한보다 나은가?
정수 인수 분해, 소수 / 복소수 이산 로그 문제 및 타원 곡선 포인트 그룹 (및 더 높은 차원의 abelian 품종)에 대한 변형과 ​​같이 암호화에서 발생하는 특정 하드 문제에 대한 회로 하한에 대한 세부 정보를 제공하는 참조가 있습니까? 숨겨진 부분 군 문제? 특히 이러한 문제 중 하나라도 선형 복잡도 하한값 이상을 …
5
(답변의 크기에서) 답변 찾기의 이론적 지수 복잡성을 고려할 때 관계형 데이터베이스가 전혀 작동하지 않는 이유는 무엇입니까?
관계형 데이터베이스 에서 쿼리 대한 답을 찾으려면 시간 가 필요하며 지수 제거 할 수없는 것으로 알려져 있습니다. .D | D | | Q | | Q |큐QQ디DD| D || Q ||D||Q||D|^{|Q|}| Q ||Q||Q| 로 매우 클 수 데이터베이스가 실제로는 전혀 작동 이유, 우리는 궁금합니다.디DD 실제 응용 프로그램에서 일반적인 쿼리가 전혀 …
1
UP의 결과는 NP와 같습니다
2011/02/08에서 편집 : 일부 참고 자료 찾기 및 읽기 후에 원래 질문을 두 개의 개별 질문으로 분리하기로 결정했습니다. UP과 NP에 관한 부분은 다음과 같습니다. 구문 및 의미 클래스의 경우 구문 및 의미 클래스의 이점을 참조하십시오 . U PUP\mathsf{UP} (명백한 다항식 시간, 참조를 위해 위키 및 동물원 참조)은 -기계에 의해 결정된 …
2
무향 그래프의 균형 잡힌 스패닝 트리 유지
그래프에 새 노드 / 에지를 추가함에 따라 그래프의 상대적으로 균형 잡힌 스패닝 트리를 유지하는 방법을 찾고 있습니다. 단일 노드 "루트"로 시작하는 무 방향 그래프가 있습니다. 각 단계에서 새 노드와 그래프에 연결하는 가장자리 또는 두 개의 이전 노드를 연결하는 새 가장자리를 그래프에 추가합니다. 그래프를 키우면 스패닝 트리가 유지됩니다. 대부분 새 노드와 …
2
Cerny 추측의 상태?
DFA의 상태를 단일 상태로 보내는 문자열이 있으면 DFA에 동기화 단어 가 있습니다. AN Trahtman (Discrete Mathematics and Theorytical Computer Science vol. 9 : 2, 2007, pp.3-10)의 '비 주기적 오토마타에 대한 Cerny 추측'에서 그는 다음과 같이 썼다. Cerny는 1964 년에 모든 n- 상태 동기화 가능 DFA는 최대 길이 의 동기화 단어를 …
4
패리티와
패리티와 은 분리 할 수없는 쌍둥이와 같습니다. 아니면 지난 30 년 동안 보였습니다. Ryan의 결과에 비추어 소규모 수업에 대한 관심이 다시 생길 것입니다.C0ㅏ씨0AC^0 Furst Saxe Sipser to Yao to Hastad는 모두 패리티 및 임의 제한입니다. Razborov / Smolensky는 패리티 (ok, mod gates)가있는 근사 다항식입니다. Aspnes 등은 패리티에서 약한 정도를 사용합니다. …
3
다이아몬드 규범과 관련 상태의 거리 사이에 연결이 있습니까?
양자 정보 이론에서, 두 양자 채널 사이의 거리는 종종 다이아몬드 규범을 사용하여 측정됩니다. 트레이스 거리, 충실도 등과 같은 두 양자 상태 사이의 거리를 측정하는 방법은 여러 가지가 있습니다. Jamiołkowski 동 형사상 은 양자 채널과 양자 상태 사이의 이중성을 제공합니다. 다이아몬드 규범은 계산하기가 악명 높고 Jamiołkowski 이소 형은 양자 채널의 거리 …
1
게임 이론을 사용하여 연구 주제 선택
이 최근의 게임 이론 질문 은 제가 생각하게 만들었습니다 (물론 이것은 탄젠트입니다) : 게임 이론을 사용하여 연구 할 연구 질문을 선택하기위한 개인 전략을 효율적으로 최적화 할 수 있습니까? 질문을 공식화하기 위해 다음과 같은 (비공식적으로) 가정합니다. 나는 "당신이 좋아하는 것을하십시오!"의 "부드럽고 (정확한!) 답변을 피하기 위해 내가 할 수있는 특정 문제를 똑같이"즐긴다 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.