duangsuse::Echo
723 subscribers
4.28K photos
130 videos
583 files
6.5K links
import this:
美而不丑、明而不暗、短而不凡、长而不乱,扁平不宽,读而后码,行之天下,勿托地上天国。
异常勿吞,难过勿过,叹一真理。效率是很重要,盲目最是低效。
简明是可靠的先验,不是可靠的祭品。
知其变,守其恒,为天下式;穷其变,知不穷,得地上势。知变守恒却穷变知新,我认真理,我不认真。

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): https://WOJS.org/#/
Download Telegram
This media is not supported in your browser
VIEW IN TELEGRAM
🤔 值不值得...
duangsuse::Echo
#Math (线性代数 领域)齐次线性方程组(homogeneous linear equations ) 常数项全为0的n元线性方程组(也即齐次线性方程组) 是什么样的呢? equation = { a11 x1 + a12 x2 + ... + a(10)n xn = 0, a21 x1 + a22 x2 + ... + a(20)n xn = 0, ... am1 x1 + ... + amn xn = 0 } 涉及的矩阵 a 包含矩阵类型的元素,索引 [m, n] m 为等式矩阵的行号,n…
所以现在我连变形『前端』(解析器)的工作都还没有完成,然后只写了点模式化的代码... 累了 🌝

v = [
[1, -3, 0, 1],
[1, 2, -1, -1],
[0, 1, 2, -2]
]



v' = [
[1, 0, 0, -7/11],
[0, 1, 0, -6/11],
[0, 0, 1, -8/11]
]

该怎么办?

不知道,或许可以看这里
但我真的不熟悉 Haskell 啊... 别说范畴论和 Monad 了,就是普通一点的算法列表 / Records / Tuple 处理向的都不会...
又要用 Data.Map... Haskell 是非常理论的, Data.Map 就是 LinkedMap 而已嘛。空间还蛮省的,就是 O(n) 时间复杂度大了点

变形到

fin = {
x1 + (0)x2 + (0)x3 - (-7/11)x4 = 0,
(0)x1 + x2 + (0)x3 - (-6/11)x4 = 0,
(0)x1 + (0)x2 + x3 - (-8/11)x4 = 0,
}

只需要一点基础的数学功底,但我有点不清楚表达式该怎么写,把所有 x1-x3 相乘再 / x4?
还是好好学 Rust?(‘
HomogenLineq.hs
1.8 KB
#Share #Haskell #code 这货唯一的作用,可能就是给那些 Haskell 都不会的 🐔 们入门... 连入门都做不到,因为没教范畴论也没教各种 typeclass Constraint instance records recursion...
Harry Ying
XCH.C
附注,他为自己的算法专门排了篇论文,在这里可以阅读
博文在这里 https://lexuge.github.io/jekyll/update/2018/02/20/XCH%E7%99%BD%E7%9A%AE%E4%B9%A6.html
Harry Ying
XCH.C
这个使用的算法就是暴力搜索(从 0 枚举到 n,不停枚举化学配平系数、然后算粒子个数对比,成功就好,不成功继续下一轮),总的来看其实它作为解析器的部分是最有价值的...

虽然的确和作者说的一样,是比较烂的代码(虽然是 C 写的,比较底层)
但是看了一会也勉强能找到逻辑,解析器什么的我其实也会写,我写的第一个能嵌套的解析器使用的 subsequence 方法和这个里面实现的一致

暴力查找算法的入口在 366 行,int check();

int check_int_exp(int alpha,int beta,int mode)
{
bool ans=false;
int c=0;
if (mode==1) ans=__builtin_sadd_overflow(alpha,beta,&c);
if (mode==2) ans=__builtin_smul_overflow(alpha,beta,&c);
if (ans==true) wrong_exit(6);
return 0;
}

[lexuge@localhost XCH]$ ./XCH
XCH - Chemical Equation Balancer
By LEXUGE
Copyright (2017-2017) LEXUGE
The software is using GPL(http://www.gnu.org/licenses/gpl.txt)
------Input------
输入有几种元素种类,几个分子式,等号左边,右边的分子式个数:
5 6 3 3
输入每种元素包含的原子在方程式中各个分子式的个数:
2 0 0 1 0 0
3 0 0 0 0 1
0 1 0 0 1 0
0 0 1 3 0 2
0 0 1 0 2 0
输入搜索最大值:
50
------Output------
各分子式系数分别为:
1 6 12 2 6 3

https://lexuge.github.io/jekyll/update/2017/03/12/XCH-%E5%8C%96%E5%AD%A6%E6%96%B9%E7%A8%8B%E5%BC%8F%E9%85%8D%E5%B9%B3%E7%A8%8B%E5%BA%8F.html


当然,你们上面拿到的那个是后来的改进版,它不需要你手动算上面要求输入的数据自己输了,你可以直接输入配平等式,解析器前端 xch_parser() 可以解决数据的问题,不过我不知道『
每种元素包含的原子在方程式中各个分子式的个数
』是哪里来的,可能是把数据写外面了吧...
#dev 是啊,现在 DVCS 时代,比以前还没有 VCS 系统靠死版本迭代的时候,强多了。
Forwarded from Rachel 碎碎念 (IFTTT)
啊 不知道赞叹过多少次了 还是要赞叹一下 git
自己家两台电脑 + 学校电脑 要开始写代码了直接 git pull 然后干活就行(— Rachel (ノД`)シクシク (@tangrui003) March 9, 2019
Forwarded from neko1的个人频道
Telegram X 今日 beta 更新支持投票功能,在 Google play 里加入 tgx 的 beta 测试就可以更新啦
neko1的个人频道
Telegram X 今日 beta 更新支持投票功能,在 Google play 里加入 tgx 的 beta 测试就可以更新啦
官方逼死同人你说呢 @vote?
This media is not supported in your browser
VIEW IN TELEGRAM
Forwarded from Rachel 碎碎念 (Rachel Sunset.)
https://t.me/dsuse/9440

可是 没记错的话 这个 @vote 不应该是官方的么(
我... 我不知道啊
还有个官方的 bot?
可它没有 official signature 啊
rt
This media is not supported in your browser
VIEW IN TELEGRAM