活动介绍
file-type

均匀超图完美匹配的精确最小度阈值

362KB | 更新于2024-07-14 | 75 浏览量 | 3 评论 | 0 下载量 举报 收藏
download 立即下载
"这篇论文‘Exact Minimum Degree Thresholds for Perfect Matchings in Uniform Hypergraphs (2012)’发表在《组合论理论,系列A》2012年119期,作者是Andrew Treglown和Yi Zhao。文章探讨了在均匀超图中完美匹配的精确最小度阈值问题,主要关注的是当4能整除k且k/2≤ℓ≤k-1时,如何给出一个确保存在完美匹配的最小度条件。这一条件被认为是最佳的,并且改进了Pikhurko之前关于完美匹配渐近精确结果的工作。作者们的方法利用了吸收方法、超图删除引理以及Keevash和Sudakov关于扩增三角形的图论泰然数的结构结果。" 在计算机科学,特别是图论和组合优化领域,完美匹配是一个重要的概念。完美匹配是指在一个图中,每个顶点恰好被一条边覆盖,而没有多余的边或未被覆盖的顶点。在超图中,这个概念被扩展到了更高维度的结构,即超边可以连接多个节点。均匀超图是指所有超边都包含相同数量节点的超图。 文章的核心贡献在于给出了一个最小度阈值,当每个节点的度数至少达到这个阈值时,就能保证该均匀超图存在完美匹配。这里的“度”指的是一个节点参与的超边的数量。这个结果对于理解超图的结构特性以及在算法设计中的应用有着重要意义,特别是在那些需要寻找或保证存在完美匹配的问题中。 作者使用了吸收方法,这是一种在图论中处理完美匹配问题的策略,通过找到一部分可以“吸收”其他剩余部分的结构,以确保整个图可以形成完美匹配。同时,他们也利用了超图删除引理,这是一个强大的工具,能够证明在满足某些条件的图中删除少数边后可以消除特定的子图结构。此外,Keevash和Sudakov关于扩增三角形的泰然数的结构结果也是他们论证过程中的关键,这涉及到图的密度和不包含特定子图的最大图的数量。 这项工作不仅在理论上提供了新的洞察,而且对实际应用也有深远的影响,比如在设计高效算法解决匹配问题、网络路由规划、分配问题等。通过理解这些精确的度阈值,我们可以更好地预测和控制复杂系统中资源分配的有效性,这对于计算机科学和相关领域的研究具有重要价值。

相关推荐

filetype

Options: --networkMessageCompressors arg (=snappy,zstd,zlib) Comma-separated list of compressors to use for network messages General options: -h [ --help ] Show this usage information --version Show version information -f [ --config ] arg Configuration file specifying additional options --configExpand arg Process expansion directives in config file (none, exec, rest) --port arg Specify port number - 27017 by default --ipv6 Enable IPv6 support (disabled by default) --listenBacklog arg Set socket listen backlog size --maxConns arg (=1000000) Max number of simultaneous connections --pidfilepath arg Full path to pidfile (if not set, no pidfile is created) --timeZoneInfo arg Full path to time zone info directory, e.g. /usr/share/zoneinfo -v [ --verbose ] [=arg(=v)] Be more verbose (include multiple times for more verbosity e.g. -vvvvv) --quiet Quieter output --logpath arg Log file to send write to instead of stdout - has to be a file, not directory --logappend Append to logpath instead of over-writing --logRotate arg Set the log rotation behavior (rename|reopen) --timeStampFormat arg Desired format for timestamps in log messages. One of iso8601-utc or iso8601-local --setParameter arg Set a configurable parameter --extensions arg Specify paths to extensions to load --bind_ip arg Comma separated list of ip addresses to listen on - localhost by default --bind_ip_all Bind to all ip addresses --noauth Run without security --transitionToAuth For rolling access control upgrade. Attempt to authenticate over outgoing connections and proceed regardless of success. Accept incoming connections with or without authentication. --slowms arg (=100) Value of slow for profile and console log --slowTaskWaitTimeProfilingMs arg (=50) Value of slow wait time for tasks --slowOpSampleRate arg (=1) Fraction of slow ops to include in the profile and console log --profileFilter arg Query predicate to control which operations are logged and profiled --auth Run with security --clusterIpSourceAllowlist arg Network CIDR specification of permitted origin for `__system` access --profile arg 0=off 1=slow, 2=all --cpu Periodically show cpu and iowait utilization --sysinfo Print some diagnostic system information --noscripting Disable scripting engine --notablescan Do not allow table scans --proxyPort arg The port that accepts connections with a proxy protocol header. --keyFile arg Private key for cluster authentication --clusterAuthMode arg Authentication mode used for cluster authentication. Alternatives are (keyFile|sendKeyFile|sendX509|x509) Replication options: --oplogSize arg Size to use (in MB) for replication op log. default is 5% of disk space (i.e. large is good) Replica set options: --replSet arg arg is <setname>[/<optionalseedhostlist >] --replSetName arg arg is <setname> Serverless mode: --serverless arg Serverless mode implies replication is enabled, cannot be used with replSet or replSetName. Sharding options: --configsvr Assigns the config-server role to this node in a sharded cluster. The default listening port is 27019 and the default database directory is /data/configdb. --shardsvr Assigns the shard-server role to this node in a sharded cluster. The default listening port is 27018. --routerPort [=arg(=27016)] Assigns the router role to this node in a sharded cluster, and results in listening to a dedicated port (27016 by default) to serve routing requests. --maintenanceMode arg Allows this node to skip starting up sharding components or both replication and sharding components. This allows for performing maintenance on this node. To skip setting up just sharding components use --maintenanceMode=replic aSet. To skip setting up both sharding and replication components use --maintenanceMode=standalone. --replicaSetConfigShardMaintenanceMode Bypasses validation of configuration mismatches between startup parameters and the stored replSetConfig. Enables restarting the node as a configsvr even if the stored configuration is for a replica set, and vice versa. Storage options: --storageEngine arg What storage engine to use - defaults to wiredTiger if no data files present --dbpath arg Directory for datafiles - defaults to \data\db\ which is C:\data\db\ based on the current working drive --directoryperdb Each database will be stored in a separate directory --syncdelay arg Seconds between disk syncs --journalCommitInterval arg how often to group/batch commit (ms) --upgrade Upgrade db if needed --repair Run repair on all dbs --validate Run validation on all collections --restore This should only be used when restoring from a backup. Mongod will behave differently by handling collections with missing data files, allowing database renames, skipping oplog entries for collections not restored and more. --oplogMinRetentionHours arg (=0) Minimum number of hours to preserve in the oplog. Default is 0 (turned off). Fractions are allowed (e.g. 1.5 hours) TLS Options: --tlsOnNormalPorts Use TLS on configured ports --tlsMode arg Set the TLS operation mode (disabled|allowTLS|preferTLS|requireTLS ) --tlsCertificateKeyFile arg Certificate and key file for TLS. Certificate is presented in response to inbound connections always. Certificate is also presented for outbound connections if tlsClusterFile is not specified. --tlsCertificateKeyFilePassword arg Password to unlock key in the TLS certificate key file --tlsClusterFile arg Certificate and key file for internal TLS authentication. Certificate is presented on outbound connections if specified. --tlsClusterPassword arg Internal authentication key file password --tlsCAFile arg Certificate Authority file for TLS. Used to verify remote certificates presented in response to outbound connections. Also used to verify remote certificates from inbound connections if tlsClusterCAFile is not specified. --tlsClusterCAFile arg CA used for verifying remotes during inbound connections --tlsCRLFile arg Certificate Revocation List file for TLS --tlsDisabledProtocols arg Comma separated list of TLS protocols to disable [TLS1_0,TLS1_1,TLS1_2,TLS1_3 ] --tlsAllowConnectionsWithoutCertificates Allow client to connect without presenting a certificate --tlsAllowInvalidHostnames Allow server certificates to provide non-matching hostnames --tlsAllowInvalidCertificates Allow connections to servers with invalid certificates --tlsCertificateSelector arg TLS Certificate in system store --tlsClusterCertificateSelector arg SSL/TLS Certificate in system store for internal TLS authentication --tlsLogVersions arg Comma separated list of TLS protocols to log on connect [TLS1_0,TLS1_1,TLS1_2 ,TLS1_3] --tlsClusterAuthX509ExtensionValue arg If specified, clients who expect to be regarded as cluster members must present a valid X.509 certificate containing an X.509 extension for OID 1.3.6.1.4.1.34601.2.1.2 which contains the specified value. --tlsClusterAuthX509Attributes arg If specified, clients performing X.509 authentication must present a certificate with a subject name with the exact attributes and values provided in this config option to be treated as peer cluster nodes. AWS IAM Options: --awsIamSessionToken arg AWS Session Token for temporary credentials WiredTiger options: --wiredTigerCacheSizeGB arg Maximum amount of memory to allocate for cache in GB; Defaults to 1/2 of physical RAM. Only one of either wiredTigerCacheSizePct or wiredTigerCacheSizeGB can be provided --wiredTigerCacheSizePct arg Maximum amount of memory to allocate for cache as a percentage of physical RAM; Defaults to 1/2 of physical RAM and a minimum of 256MB. Only one of either wiredTigerCacheSizePct or wiredTigerCacheSizeGB can be provided --zstdDefaultCompressionLevel arg (=6) Default compression level for zstd compressor --wiredTigerJournalCompressor arg (=snappy) Use a compressor for log records [none|snappy|zlib|zstd] --wiredTigerDirectoryForIndexes Put indexes and data in different directories --wiredTigerLiveRestoreSource arg Path to the source for live restore. --wiredTigerLiveRestoreThreads arg (=8) Number of live restore background threads. --wiredTigerLiveRestoreReadSizeMB arg (=1) 'The read size for data migration, in MB, must be a power of two. This setting is a best effort. It does not force every read to be this size.' --wiredTigerCollectionBlockCompressor arg (=snappy) Block compression algorithm for collection data [none|snappy|zlib|zstd] --wiredTigerIndexPrefixCompression arg (=1) Use prefix compression on row-store leaf pages Windows Service Control Manager options: --install Install Windows service --remove Remove Windows service --reinstall Reinstall Windows service (equivalent to --remove followed by --install) --serviceName arg Windows service name --serviceDisplayName arg Windows service display name --serviceDescription arg Windows service description --serviceUser arg Account for service execution --servicePassword arg Password used to authenticate serviceUser

filetype

SPEX is a software package for SParse EXact algebra Files and folders in this distribution: README.md this file build Contains the SPEX C library as well as the .so files DOC User guide for the SPEX software package MATLAB MATLAB interface for the SPEX software package SPEX_Backslash Exactly solve sparse linear systems with default settings. This is the easiest starting point for the SPEX software package. SPEX_Backslash will automatically determine the appropriate factorization algorithm for use in solving your problem A x = b (Developmental) SPEX_Cholesky Sparse integer-preserving SPEX_Cholesky factorization for exactly solving SPD linear systems (Developmental) SPEX_LU Sparse left-looking integer-preserving LU factorization for exactly solve sparse linear systems. (Release) SPEX_QR Sparse integer-preserving QR factorization (Developmental) SPEX_Update Sparse column replacement and rank 1 updates for the SPEX factorizations SPEX_UTIL Utility functions for all SPEX components Makefile compiles SPEX and its dependencies Dependencies: AMD approximate minimum degree ordering COLAMD column approximate minimum degree ordering SuiteSparse_config configuration for all of SuiteSparse GNU GMP GNU Multiple Precision Arithmetic Library for big integer operations. v6.1.2 or later is required. GNU MPFR GNU Multiple Precision Floating-Point Reliable Library for arbitrary precision floating point operations. v4.0.2 or later is required. Compilation options: SPEX_USE_PYTHON: If , build Python interface for SPEX. If : do not build the SPEX Python interface. Default: (defaults to ON).ONOFFSUITESPARSE_USE_PYTHON SPEX_USE_OPENMP: If , OpenMP is used in SPEX if it is available. Default: (defaults to ON).ONSUITESPARSE_USE_OPENMP To compile SPEX and its dependencies, just type "make" in this folder. This will also run a few short demos To install the package system-wide, copy the to /usr/local/lib, and copy to /usr/local/include.lib/*include/* Authors (alphabetical order): Jinhao Chen Timothy A. Davis Christopher Lourenco Lorena Mejia-Domenzain Erick Moreno-Centeno 翻译

filetype

SPEX is a software package for SParse EXact algebra Files and folders in this distribution: README.md this file build Contains the SPEX C library as well as the .so files Doc User guide for the SPEX software package Demo demo programs for SPEX ExampleMats test matrices for demo programs Include the SPEX.h include file for user applications MATLAB MATLAB interface for the SPEX software package SPEX_Backslash Exactly solve sparse linear systems with default settings. This is the easiest starting point for the SPEX software package. SPEX_Backslash will automatically determine the appropriate factorization algorithm for use in solving your problem A x = b SPEX_Symmetric Sparse integer-preserving SPEX_Symmetric factorization for exactly solving SPD linear systems, or symmetric indefinite systems (with nonsingular minors) SPEX_LU Sparse left-looking integer-preserving LU factorization for exactly solve sparse linear systems. SPEX_QR Sparse integer-preserving QR factorization (FUTURE) SPEX_LU_ColRep Sparse column replacement for SPEX LU factorization SPEX_Symmetric_Rank1: rank 1 updates for the SPEX Cholesky and LDL factorizations SPEX_Utilities Utility functions for all SPEX components SPEX_Update_Utilities Utility functions for update/downdate methods Makefile compiles SPEX and its dependencies Python SPEX python interface Dependencies: AMD approximate minimum degree ordering COLAMD column approximate minimum degree ordering SuiteSparse_config configuration for all of SuiteSparse GNU GMP GNU Multiple Precision Arithmetic Library for big integer operations. v6.1.2 or later is required. GNU MPFR GNU Multiple Precision Floating-Point Reliable Library for arbitrary precision floating point operations. v4.0.2 or later is required. Compilation options: * `SPEX_USE_PYTHON`: If `ON`, build Python interface for SPEX. If `OFF`: do not build the SPEX Python interface. Default: `SUITESPARSE_USE_PYTHON` (defaults to ON). * `SPEX_USE_OPENMP`: If `ON`, OpenMP is used in SPEX if it is available. Default: `SUITESPARSE_USE_OPENMP` (defaults to ON). To compile SPEX and its dependencies, just type "make" in this folder. This will also run a few short demos. To install the package system-wide, do "sudo make install" Authors (alphabetical order): Jinhao Chen Timothy A. Davis Christopher Lourenco Lorena Mejia-Domenzain Erick Moreno-Centeno 翻译

资源评论
用户头像
乔木Leo
2025.06.19
文章发表在《Journal of Combinatorial Theory, Series A》,是组合数学领域的重要学术成果。
用户头像
Jaihwoe
2025.05.20
这篇论文深入探讨了均匀超图中完美匹配的精确最小度阈值,对计算机科学领域具有重要意义。🐱
用户头像
又可乐
2025.03.05
Andrew Treglown和Yi Zhao的研究为我们理解超图匹配提供了新的理论依据。
weixin_38665162
  • 粉丝: 1
上传资源 快速赚钱