本文探討計算社會選擇領域中,特別是多贏家決定問題的參數化複雜度,並分析了不同投票規則和參數設置下的複雜度結果。
본 논문에서는 계산 사회 선택 이론, 특히 다중 우승자 결정 문제에서 매개변수화된 복잡성 분석을 통해 효율적인 알고리즘 설계 가능성을 살펴보고, 향후 연구 과제를 제시합니다.
This article surveys the parameterized complexity of two key Computational Social Choice problems, Multi-Winner Determination and Hedonic Games, highlighting key results and outlining research challenges.
본 논문에서는 동적 시스템의 위상적 및 측정 가능한 엔트로피 개념을 기반으로 대수적 계산 모델에 대한 하한을 증명하는 새로운 추상적 방법을 제시하며, 이를 통해 기존의 하한 결과들을 일반화하고 통합된 프레임워크를 제공합니다.
本稿では、動的システムの位相的エントロピーと可測エントロピーの概念に基づいた新しい抽象的手法を用いることで、代数計算モデルにおける計算量の下限証明を統一的に示せることを主張しています。
This paper introduces a novel method for proving lower bounds in algebraic complexity theory using the concept of topological entropy from dynamical systems theory. This method provides a unifying framework for understanding and generalizing existing lower bound results for various algebraic models of computation, including algebraic decision trees, algebraic computation trees, and parallel random access machines (PRAMs).
This paper presents a novel proof that the problem of determining the existence of a common zero for a system of multivariate polynomials with coefficients in a function field (HNP) is in the complexity class AM, assuming the Generalized Riemann Hypothesis (GRH).
本文提出一個基於代數數論和計算複雜性理論,判定實數根式表達式是否為零的算法,並證明其在廣義黎曼猜想下屬於 coNP 複雜度類別。
본 논문에서는 실수 라디칼 표현식에 대한 ID 테스트 문제(RIT)를 다루며, 일반적인 RIT 문제를 일반화된 리만 가설(GRH) 하에 coNP에 속하는 것으로 증명하고, 입력 라디칼이 제곱근으로 제한된 특수한 경우(2-RIT)에 대해서는 GRH 하에 coRP에 속하고 무조건적으로 coNP에 속하는 알고리즘을 제시합니다.
This paper investigates the computational complexity of Radical Identity Testing (RIT), specifically focusing on determining the zeroness of polynomial expressions evaluated at real radicals.