数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
查看: 4750|回复: 12

x1,x2,…,xn 之和为 pq,可分为和相等的 p 组,又可分为和相等的 q 组,求 n 的最小值

[复制链接]
发表于 2024-5-2 01:17 | 显示全部楼层 |阅读模式
一道预赛压轴题,如图

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
发表于 2024-5-19 20:38 | 显示全部楼层
这两天分析,没有完全解决此问题,但是有了一定进展,并有下一步的思路:
我没有研究过图论,所以此题我就按照通常思路,从最基本的理论开始分析。可能有一些繁琐。
一、已经证明,对于任意给定的p, q, 满足q > p且 (p , q) =1;那么必定存在p+q-1个自然数,满足分组A:q个p;以及满足分组B:p个q。这个通过辗转相除法,以及构造归纳证明得出结论。

二、但是p+q-1是否是最少的数?这个我还在确定一些细节。现在的思路如下:
        1、对于任意一个分组A(q个p)和分组B(p个q),总可以通过逐步调整方法,保持总的数字的数目不增加,保持q个p和p个q的要求,并且B分组中p行数据中,每一行都至少有一个数字p。那么我可以通过迭代和数学归纳法证明,p+q-1就是最少的数目。
        2、现在正在确定1部分的一些细节。

三、对于p, q的一些特殊形式,比如q = p*k + 1或q = p*k - 1时,结论成立。这个相对好证明。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2024-5-13 22:59 | 显示全部楼层
恳求老师们的答复
回复 支持 反对

使用道具 举报

 楼主| 发表于 2024-5-15 18:01 | 显示全部楼层
恳求老师们的答复
回复 支持 反对

使用道具 举报

发表于 2024-5-15 19:06 | 显示全部楼层
我这2天看看,周末给你一个答复。
其它大侠有时间也可看看。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2024-5-17 06:50 | 显示全部楼层
cgl_74 发表于 2024-5-15 19:06
我这2天看看,周末给你一个答复。
其它大侠有时间也可看看。

感激不尽!
回复 支持 反对

使用道具 举报

发表于 2024-5-17 12:22 | 显示全部楼层
这是数论竞赛题?
回复 支持 反对

使用道具 举报

 楼主| 发表于 2024-5-17 18:07 | 显示全部楼层
wilsony 发表于 2024-5-17 12:22
这是数论竞赛题?

他标答给的是图论解法,但是我很好奇他是否有代数解法
回复 支持 反对

使用道具 举报

发表于 2024-5-17 18:39 | 显示全部楼层
abc666zs 发表于 2024-5-17 18:07
他标答给的是图论解法,但是我很好奇他是否有代数解法

能把标答给的图论解法,   拿出来大家分享分享?  谢谢!
回复 支持 反对

使用道具 举报

 楼主| 发表于 2024-5-18 23:51 | 显示全部楼层
王守恩 发表于 2024-5-17 18:39
能把标答给的图论解法,   拿出来大家分享分享?  谢谢!

记分成的组数为u1,u2……u41。v1,v2……v49,若存在xk同时属于ui,vj,便在ui,vj间连一条线,得简单图G,对于G的最大连通分支G’,设G’中含有a个顶点ui,b个顶点vj,则所有出现在ui中的项必同时出现在vj(否则G’非最大连通分支),有49a=41b,所以a+b≥90,n≥89。当x1=……=x41=41,x42=……x81=8,x82=……=x89=1时取等
回复 支持 反对

使用道具 举报

 楼主| 发表于 2024-5-18 23:53 | 显示全部楼层
王守恩 发表于 2024-5-17 18:39
能把标答给的图论解法,   拿出来大家分享分享?  谢谢!

老师,因为我暂时还没有深度的学习图论,所以里面的一些专业术语我不是很懂,原理也并非很明确,可能存在笔误,请多多包涵
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

LaTEX预览输入 教程 符号库 加行内标签 加行间标签 
对应的 LaTEX 效果:

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-7-12 16:45 , Processed in 0.086974 second(s), 19 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表
\frac{\square}{\square}\sqrt{\square}\square_{\baguet}^{\baguet}\overarc{\square}\ \dot{\baguet}\left(\square\right)\binom{\square}{\square}\begin{cases}\square\\\square\end{cases}\ \begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\to\Rightarrow\mapsto\alpha\ \theta\ \pi\times\div\pm\because\angle\ \infty
\frac{\square}{\square}\sqrt{\square}\sqrt[\baguet]{\square}\square_{\baguet}\square^{\baguet}\square_{\baguet}^{\baguet}\sum_{\baguet}^{\baguet}\prod_{\baguet}^{\baguet}\coprod_{\baguet}^{\baguet}\int_{\baguet}^{\baguet}\lim_{\baguet}\lim_{\baguet}^{\baguet}\bigcup_{\baguet}^{\baguet}\bigcap_{\baguet}^{\baguet}\bigwedge_{\baguet}^{\baguet}\bigvee_{\baguet}^{\baguet}
\underline{\square}\overline{\square}\overrightarrow{\square}\overleftarrow{\square}\overleftrightarrow{\square}\underrightarrow{\square}\underleftarrow{\square}\underleftrightarrow{\square}\dot{\baguet}\hat{\baguet}\vec{\baguet}\tilde{\baguet}
\left(\square\right)\left[\square\right]\left\{\square\right\}\left|\square\right|\left\langle\square\right\rangle\left\lVert\square\right\rVert\left\lfloor\square\right\rfloor\left\lceil\square\right\rceil\binom{\square}{\square}\boxed{\square}
\begin{cases}\square\\\square\end{cases}\begin{matrix}\square&\square\\\square&\square\end{matrix}\begin{pmatrix}\square&\square\\\square&\square\end{pmatrix}\begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\begin{Bmatrix}\square&\square\\\square&\square\end{Bmatrix}\begin{vmatrix}\square&\square\\\square&\square\end{vmatrix}\begin{Vmatrix}\square&\square\\\square&\square\end{Vmatrix}\begin{array}{l|l}\square&\square\\\hline\square&\square\end{array}
\to\gets\leftrightarrow\nearrow\searrow\downarrow\uparrow\updownarrow\swarrow\nwarrow\Leftarrow\Rightarrow\Leftrightarrow\rightharpoonup\rightharpoondown\impliedby\implies\Longleftrightarrow\leftharpoonup\leftharpoondown\longleftarrow\longrightarrow\longleftrightarrow\Uparrow\Downarrow\Updownarrow\hookleftarrow\hookrightarrow\mapsto
\alpha\beta\gamma\Gamma\delta\Delta\epsilon\varepsilon\zeta\eta\theta\Theta\iota\kappa\varkappa\lambda\Lambda\mu\nu\xi\Xi\pi\Pi\varpi\rho\varrho\sigma\Sigma\tau\upsilon\Upsilon\phi\Phi\varphi\chi\psi\Psi\omega\Omega\digamma\vartheta\varsigma\mathbb{C}\mathbb{H}\mathbb{N}\mathbb{P}\mathbb{Q}\mathbb{R}\mathbb{Z}\Re\Im\aleph\partial\nabla
\times\cdot\ast\div\pm\mp\circ\backslash\oplus\ominus\otimes\odot\bullet\varnothing\neq\equiv\not\equiv\sim\approx\simeq\cong\geq\leq\ll\gg\succ\prec\in\ni\cup\cap\subset\supset\not\subset\not\supset\notin\not\ni\subseteq\supseteq\nsubseteq\nsupseteq\sqsubset\sqsupset\sqsubseteq\sqsupseteq\sqcap\sqcup\wedge\vee\neg\forall\exists\nexists\uplus\bigsqcup\bigodot\bigotimes\bigoplus\biguplus\bigcap\bigcup\bigvee\bigwedge
\because\therefore\angle\parallel\perp\top\nparallel\measuredangle\sphericalangle\diamond\diamondsuit\doteq\propto\infty\bowtie\square\smile\frown\bigtriangledown\triangle\triangleleft\triangleright\bigcirc \wr\amalg\models\preceq\mid\nmid\vdash\dashv\nless\ngtr\ldots\cdots\vdots\ddots\surd\ell\flat\sharp\natural\wp\clubsuit\heartsuit\spadesuit\oint\lfloor\rfloor\lceil\rceil\lbrace\rbrace\lbrack\rbrack\vert\hbar\aleph\dagger\ddagger

MathQuill输入:

Latex代码输入: