BOPIM: Bayesian Optimization for influence maximization on temporal networks
この論文は、時間的ネットワーク上の影響力最大化問題に対し、ガウス過程回帰と期待改善基準を用いたベイズ最適化アルゴリズム「BOPIM」を提案し、既存の貪欲法と同等の性能を維持しつつ最大 10 倍高速に最適解を探索できることを示しています。
💻 Category
cs
3447 件の論文
Robustness Over Time: Understanding Adversarial Examples' Effectiveness on Longitudinal Versions of Large Language Models
本論文は、GPT、Llama、Qwen といった主要な大規模言語モデルの縦断的調査を通じて、モデルの更新が必ずしも敵対的攻撃への頑健性（誤分類、ジャイルブレイク、ハルシネーション）の向上をもたらさないこと、むしろモデルサイズやバージョンの進化に伴い特定の脆弱性が劣化する可能性を示し、モデル開発と利用における重要な示唆を提供しています。
Cardinality and Representation of Stone Relation Algebras
この論文は、重み付きグラフをモデル化するストーン関係代数において、従来の関係代数の基数公理を一般化し、より単純な公理系を導出するとともに、ストーン関係代数の表現可能性や関係代数としての条件を明らかにするものである。
Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
この論文は、数え上げ単調第二階論理（CMSO）で定義可能かつ文脈自由なグラフ集合が、木幅が有界な識別可能集合、HR 文法による導出木から定義可能変換で得られる集合、および定義可能変換（その逆も定義可能）による識別可能木集合の像と同等であることを、Courcelle と Engelfriet の結果と Bojanczyk と Pilipczuk の最適幅木分解の構成可能性を結びつけることで示しています。
Interpolation and the Exchange Rule
この論文は、交換則（可換性）の有無が論理的な補間性や代数的な合併性を決定する上で決定的な役割を果たすことを示し、交換則を仮定しない場合の連続体無限個の多様体と、交換則を仮定した場合のちょうど 60 個の多様体がそれぞれ合併性を持つことを明らかにしている。
Normal Forms for Elements of -Continuous Kleene Algebras Representing the Context-Free Languages
この論文は、-連続的クリーネ代数と多項式クリーネ代数のテンソル積における正規形定理を用いて、変数束縛なしの文脈自由式計算の基礎を構築し、さらにブラケット代数 とその変種 の性質や完全性方程式について論じている。
Minimum Star Partitions of Simple Polygons in Polynomial Time
この論文は、単純多角形を最小数の星形多角形に分割する問題が、40 年以上にわたって未解決であったにもかかわらず、多項式時間アルゴリズムによって解けることを示したものである。
Summing the sum of digits
この論文は、2023 年の遺伝子型 - 表現型マップにおける最大変異耐性に関する研究で得られた定理を用いて、任意の整数基数における桁和の総和に関する既知の不等式を再検討し、一般化することを目的としている。
Isomorphism for Tournaments of Small Twin Width
この論文は、群論的手法を用いて双対幅（twin width）が有界なトーナメントの同型判定が多項式時間で可能であることを証明し、一方で組合せ論的 Weisfeiler-Leman 法ではその限界があることを示すとともに、双対幅が他の有向グラフパラメータよりも機能的に小さいことを立証しています。
Asynchronous Composition of LTL Properties over Infinite and Finite Traces
本論文は、非同期ソフトウェアコンポーネントの LTL 仕様検証において、無限および有限のトレースを考慮し、局所的な性質をグローバルな性質へ変換する新規の LTL 書き換え手法を提案し、OCRA ツールへの実装と実験的評価を通じてその有効性を示したものである。
Pattern Avoidance for Fibonacci Sequences using -Regular Words
本論文は、-正則語における特定のパターン回避が および という 2 つの 項フィボナッチ再帰数列と一致することを証明し、さらに特定の結合パターン回避数がフィボナッチ数の 2 乗になるという予想を提示するものである。
Positional -regular languages
この論文は、-正則言語の位置性（履歴に依存しない戦略での最適性）を完全特徴づけるパリティ自動機のクラスを記述し、その決定可能性、ゲームの拡張、および前置詞独立な目的関数の和に対する閉包性を示すことで、Kopczyński の予想を-正則ケースで解決する。
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
本論文は、値呼び出し言語におけるガード付き反復のセマンティクスを記述するために、Uustalu によるパラメータ付きモノイドの概念を導入し、ガード付き効果的関数空間の表現が特定のモノイドを要請すること、およびガード性が既存の圏上の述語としての記述を補完するプログラムの内在的性質として記述可能であることを示しています。
Enumeration for MSO-Queries on Compressed Trees
本論文は、直線プログラム（SLP）で圧縮された木に対するモノadic 第二階論理（MSO）クエリの列挙問題を、圧縮サイズに比例する前処理時間と出力に比例する遅延で解決するアルゴリズムを提案し、圧縮データ上での MSO 列挙問題の効率性を大幅に向上させたことを示しています。
Causal Graph Dynamics and Kan Extensions
本論文は、局所的・同期的・決定論的な空間変換を記述する「大域変換」の枠組みが、カテゴリー理論における Kan 拡大を用いることで、ポートグラフの変換を記述する「因果グラフ力学」にも適用可能であることを示し、さらに単調な因果グラフ力学の普遍性を明らかにするものである。
Using weakest application conditions to rank graph transformations for graph repair
この論文は、グラフ制約から導出された「損傷指標条件」と「修復指標条件」を用いて、グラフ変換がもたらす修復効果を定量化し、それに基づいてグラフ修復のための変換を優先順位付けする手法を提案し、その有効性と拡張性を評価したものである。
Möbius-Transformed Trapezoidal Rule
この論文は、重み関数が単調減少する正のシュワルツ関数である重み付きソボレフ空間に属する関数に対して、単位円を実数直線に写すメビウス変換と台形則を組み合わせることで、導関数や確率分布からのサンプリングを必要とせず最適収束率を達成する数値積分法を提案し、その周期性ソボレフ空間への写像特性に基づき関数近似や多次元積分などへの拡張も論じている。
Deterministic approximate counting of colorings with fewer than $2Δ$ colors via absence of zeros
この論文は、Barvinok の補間法を用いて、最大次数がのグラフの-色付けの数を、（）の条件下で多項式時間内に決定論的に近似するアルゴリズムを構築し、従来のという限界を突破したことを示しています。
Optimizing QoS in HD Map Updates: Cross-Layer Multi-Agent with Hierarchical and Independent Learning
本論文は、自動運転車の高解像度地図更新における遅延を削減するため、IEEE802.11 の MAC 層パラメータをアプリケーション層と連携して制御し、階層的かつ独立学習を行うマルチエージェント手法を提案し、標準 EDCA 方式と比較して各サービスで最大 87.3% の遅延改善を実現したことを示しています。
TIMotion: Temporal and Interactive Framework for Efficient Human-Human Motion Generation
本論文は、因果的相互作用の注入、役割の進化に基づく走査、および局所的なパターン増幅という 3 つの主要な構成要素を導入し、人間の社会的相互作用をより効率的かつ効果的に生成するための新しいフレームワーク「TIMotion」を提案するものである。