조립 이론(AT)은 분자 조립 지수와 같은 물리적 관측 가능량을 통해 생명체에서 발견되는 복잡성을 정량화하여 기존의 계산 복잡도 이론과 차별화됩니다.
Assembly theory (AT), with its focus on physical construction and measurable complexity, offers a distinct approach from computational complexity theory, as demonstrated by the formal differences between assembly index and measures like Huffman coding, Lempel-Ziv-Welch compression, and Kolmogorov complexity.
Hereditary First-Order logic (HerFO), while powerful enough to express many constraint satisfaction problems (CSPs), including some that are coNP-complete, is not NP-rich unless E=NE. The complexity of model checking for HerFO can be precisely classified based on the quantifier prefix of the first-order formula used.
本文提出了一種新的下界證明技術「無小工具的提升技術」,並應用於指標追蹤問題,改進了先前由回合消除法得到的結果。
본 논문에서는 포인터 체이싱 문제에 대한 기존 라운드 제거 기법의 한계를 극복하는 새로운 접근 방식인 '가젯 없는 리프팅'을 제시하고, 이를 통해 개선된 통신 복잡도 하한선을 증명합니다.
本稿では、ポインターチェイシング問題において、従来のラウンドエリミネーション法の限界を克服する新しい手法「ガジェットレスリフティング」を提案し、(k-1)ラウンドの通信複雑性に対して改善された下限Ω(n/k + k)を証明しました。
This research paper presents a novel technique called "gadgetless lifting" to establish an improved lower bound for the communication complexity of the k-step pointer chasing problem.
本文通過分析單一門檻、時間門檻、啟動型以及通用演算法四種類型,得出在隨機到達模型下,不同線上演算法解決先知秘書問題所需的競爭複雜度,並證明時間門檻和啟動型演算法並非最佳策略。
본 논문은 예언자 비서 문제에서 최적의 오프라인 알고리즘에 근접하는 성능을 달성하기 위해 필요한 추가적인 입력값의 개수(경쟁 복잡도)를 다양한 온라인 알고리즘 클래스별로 분석하고, 특히 무작위 순서로 입력값이 도착하는 경우 기존 연구 결과와의 차이점을 밝힙니다.
ランダム到着モデルにおける預言者秘書問題の競合的計算量は、オンラインアルゴリズムの種類によって異なり、特に一般的な適応アルゴリズムは、従来型の競合分析で用いられてきた時間ベースの閾値アルゴリズムや活性化ベースのアルゴリズムよりも、漸近的に悪い性能を示す。