Resource-bounded strong dimension versus resource-bounded category

被引:2
|
作者
Hitchcock, JM
Pavan, A
机构
[1] Univ Wyoming, Dept Comp Sci, Laramie, WY 82071 USA
[2] Iowa State Univ Sci & Technol, Dept Comp Sci, Ames, IA 50011 USA
基金
美国国家科学基金会;
关键词
computational complexity; resource-bounded category; resource-bounded dimension; resource-bounded measure;
D O I
10.1016/j.ipl.2005.05.001
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Classically it is known that any set with packing dimension less than 1 is meager in the sense of Baire category. We establish a resource-bounded extension: if a class X has A-strong dimension less than 1, then X is Delta-meager. This has the applications of explaining some of Lutz's simultaneous Delta-meager, Delta-measure 0 results and providing a new proof of a Gu's strong dimension result on infinitely-often classes. (c) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码:377 / 381
页数:5
相关论文
共 50 条
  • [21] Programming resource-bounded deliberative agents
    Fisher, M
    Ghidini, C
    IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 200 - 205
  • [22] Exploring the future with resource-bounded agents
    Fisher M.
    Ghidini C.
    Journal of Logic, Language and Information, 2009, 18 (1) : 3 - 21
  • [23] Verifying Systems of Resource-Bounded Agents
    Alechina, Natasha
    Logan, Brian
    PURSUIT OF THE UNIVERSAL, 2016, 9709 : 3 - 12
  • [24] Resource-bounded Kolmogorov complexity revisited
    Buhrman, H
    Fortnow, L
    STACS 97 - 14TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1997, 1200 : 105 - 116
  • [25] Executable specifications of resource-bounded agents
    Fisher, Michael
    Ghidini, Chiara
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2010, 21 (03) : 368 - 396
  • [26] The control of reasoning in resource-bounded agents
    Schut, M
    Wooldridge, M
    KNOWLEDGE ENGINEERING REVIEW, 2001, 16 (03): : 215 - 240
  • [27] Reachability in Resource-Bounded Reaction Systems
    Dennunzio, Alberto
    Formenti, Enrico
    Manzoni, Luca
    Porreca, Antonio E.
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016, 2016, 9618 : 592 - 602
  • [28] ON A PRICED RESOURCE-BOUNDED ALTERNATING μ-CALCULUS
    Della Monica, Dario
    Lenzi, Giacomo
    ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL. 2, 2012, : 222 - 227
  • [29] Resource-bounded belief revision and contraction
    Alechina, Natasha
    Jago, Mark
    Logan, Brian
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES III, 2006, 3904 : 141 - 154
  • [30] Timed Memory in Resource-Bounded Agents
    Costantini, Stefania
    Formisano, Andrea
    Pitoni, Valentina
    AI*IA 2018 - ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, 11298 : 15 - 29