«big-picture» 태그된 질문

큰 그림 태그는 "문제 또는 문제의 전체, 전체적인 관점 또는 관점"을위한 것입니다.

1
더 큰 이익을 위해 계산 이론과 분석 능력을 어떻게 사용할 수 있습니까?
학계 밖에서 내 '권력'의 용도는 무엇입니까? 논문을 가르치고 출판하는 것 외에 무엇을 할 수 있습니까? 어디에서 힘을 발휘할 수 있습니까? 논증을 위해 : 알고리즘 / TCS에서 박사 학위를 받았으며 많은 '물건'을 배웠으며 기존 알고리즘 등에 대한 획기적인 한계를 생각해 냈으며 알고리즘 분석에도 강력한 기반이 있다고 가정하십시오. , 근사 / 랜덤 …

2
감도 블록 감도 추측-시사점
를 감도 및 블록 감도 가진 부울 함수라고 하자 .fffs(f)s(f)s(f)bs(f)bs(f)bs(f) 민감도-블록 민감도 추측 추측 은 와 같은 있다고 합니다.c>0c>0c>0∀f, bs(f)≤s(f)c∀f, bs(f)≤s(f)c\forall f,\mbox{ }bs(f)\leq s(f)^c 이 추측의 진실과 거짓의 의미는 무엇입니까? 참고 문헌도 인용하십시오.

3
P 및 BPP와 유사한 AM / MA 및 NP
Arora와 Barak은 이 로 표현 될 수 있음을 보여줍니다. 즉, 3SAT로 무작위 축소 된 언어 집합입니다. 는 또한 결정 론적 검증자를 무작위 화 된 검증기로 대체한다는 점에서 의 자연스러운 무작위 일반화입니다 .AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} 이들 중 하나가 "NP가?에 대해 P는 BPP에?"에 더 가깝다는 의미가 있습니까? 관계?

4
효율적인 그래프 알고리즘을 설계 할 때 가장 중요한 희소성 개념은 무엇입니까?
"스파 스 그래프"라는 여러 가지 경쟁 개념이 있습니다. 예를 들어 표면 매립형 그래프는 드문 것으로 간주 될 수 있습니다. 또는 경계 밀도가 제한된 그래프. 또는 둘레가 큰 그래프. 확장이 큰 그래프. 경계가있는 그래프입니다. (랜덤 그래프의 서브 필드 내에서도 희소라고 할 수있는 것은 약간 모호합니다.) Et cetera. 효율적인 그래프 알고리즘의 설계에 …

2
최고의 외계인 커뮤니케이션 프로토콜?
성간 디지털 통신 채널을 사용하여 메시지를주고받을 수있는 외계 문명을 발견했다고 가정 해 봅시다. (변조 된 전파, 레이저 펄스, 다양한 궤도에 별을 재배치하는 방법 등을 사용한다고합시다.) 우리가 그들과 접촉하기로 결정했다고 가정 해 봅시다. 대화를 시작하면 통신 프로토콜과 언어를 어떻게 설정해야합니까? 논리적 인 아이디어를 표현하는 기본 어휘와 방법에 동의하기 위해 어떤 방법론을 …

2
효율적인 알고리즘이없는
감안 의 계수되도록 P는 , Q는 에 의해 제한되는 B , 않는 P ≡ q 개의 보류 ?p ( x1, … , x엔) , q( x1, … , x엔) ∈ Z [ x1, … , x엔]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p , qp,qp,qBBBp≡qp≡qp\equiv q Schwartz-Zippel lemma는 일반 필드와 적용 되며이 문제에 대한 효율적인 …

2
흥미로운 NP 문제에 대한 2 차 하한을 증명하기가 어렵다는 설명이 있습니까?
이것은 이전 질문에 대한 후속 조치입니다. NP의 자연 문제에 대해 가장 잘 알려진 결정 론적 시간 복잡성 하한 사람들이 관심을 갖고 더 나은 알고리즘을 설계하려고 시도하는 흥미로운 NP 문제에 대해 2 차 결정 론적 시간 하한을 입증 할 수 없었습니다. Exponential Time Hypothesis 추측에 따르면 SAT는 지수 미만의 결정적 시간으로 …

4
휴먼 인텔리전스 및 알고리즘
휴먼 인텔리전스가 알고리즘을 능가 할 수 있는지 여부를 결정하기위한 연구가 있습니까 (즉, 무료 점심 식사 정리가 휴먼 인텔리전스에 적용되는지 테스트)? 같은 선을 따라, 사람 지능의 독특하고 계산력이 뛰어난 속성을 이용하는 기술적 인 방법을 개발 한 사람이 있습니까?

7
이론적 컴퓨터 과학은 보안과 어떤 관련이 있습니까?
안전하지 않은 소프트웨어를 생각할 때 소프트웨어가 너무 유용하여 공격자에게 악용 될 수 있다고 생각합니다. 따라서 소프트웨어 보안은 소프트웨어를 덜 유용하게 만드는 프로세스입니다. 이론적 컴퓨터 과학에서는 실제 세계와 협력하고 있지 않습니다. 순수한 이론으로 작업 할 때 보안 문제가 있습니까? 또는 동전의 다른 쪽, 이론적 컴퓨터 과학은 해킹당하는 사람들의 실제 세계에 영향을 …

1
로그 순위 추측 사용이 실제보다 순위가 높은 이유는 무엇입니까?
통신 복잡성에서 로그 순위 추측은 cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} 여기서 은 M ( x , y ) 의 통신 복잡도 이고 r k ( M ) 은 실수에 대한 M (행렬) 의 순위입니다 .cc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM 그러나 계급 방법을 사용하여 하한 을 사용 하는 경우 편리한 모든 필드에서 r k 를 사용할 …

3
“문제를 해결하는 가장 간단한 프로그램”에 대한 답이 이론이 있습니까?
"컴퓨팅으로 해결할 수있는 문제"에 답하기 위해 계산 성 이론을 개발했습니다. 계산 가능한 문제들에 대해, "내가 가장 간단한 프로그램을 얻는가?"라는 질문에 대한 이론이 있습니까? 나는 계산의 복잡성이 질문에 대답하지 않는다고 생각합니다. 우리가 필요한 시간을 고려한다고 생각합니다 (추상적으로 측정되지만). 알고리즘 정보 이론이 질문에 대답하는지 확실하지 않습니다. 이론은 크기에 대해 이야기하는 것처럼 보입니다. …


3
결정론과 비결정론을 연구하기 위해 더 큰 클래스를 사용하지 않는 이유는 무엇입니까?
시간 계층 구조에 대한 이전 질문에서 두 클래스 사이의 동등성이 더 복잡한 클래스로 전파되고 불평등은 덜 복잡한 클래스로 전파 될 수 있으며 패딩을 사용하는 인수가 있습니다. 따라서 질문이 떠 오릅니다. 가능한 가장 작은 클래스에서 다른 유형의 계산 (또는 리소스)에 대한 질문을하는 이유는 무엇입니까? 대부분의 연구자들은 라고 믿는다 . 이 클래스의 …

1
프로그래밍 언어 이론이 대답하려는“질문”은 무엇입니까?
나는 Combinatory Logic, Lambda Calculus, Functional Programming과 같은 다양한 주제에 관심이 있었고이를 연구하고 있습니다. 그러나 "계산 이론"과는 달리 "계산 성", 즉 다양한 제약으로 계산할 수없는 것들에 대한 질문에 답하려고 노력하는 것과는 달리, "프로그래밍 이론"에 대한 아날로그를 찾는 데 어려움을 겪고 있습니다. Wikipedia 는이를 다음과 같이 설명합니다. 프로그래밍 언어 이론 (PLT)은 …

2
선형 시스템이 컴퓨터 과학에 왜 그렇게 / 중요한가?
나는 최근에 수학 최적화에 참여하기 시작했고 그것을 좋아하고 있습니다. 많은 최적화 문제가 선형 프로그램 (예 : 네트워크 흐름, 가장자리 / 정점 표지, 여행 세일즈맨 등)으로 쉽게 표현되고 해결 될 수있는 것 같습니다. 최적으로 해결되지 않으면 '선형 프로그램으로 프레임'됩니다. 우리는 항상 학교 / 대학 전체에 걸쳐 선형 방정식, 선형 대수 시스템을 …

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