【minimal problem】资料整理

已于 2022-11-16 20:35:13 修改
阅读量684 收藏 4
点赞数
分类专栏： 机器学习 文章标签： 人工智能
于 2022-11-16 20:23:17 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Algernon98/article/details/127877826
版权

minimal problem

use as few data as to generate a system of algebraic

equaIons with a finite number of soluIons

使用尽可能少的数据来生成代数系统
解数有限的方程

以往工作

基于神经网络解一元高次方程
代码实战：解低次方程
代码实战：解高次方程

主要论文

Principles of Solving Minimal Problems（ICCV2015）

Minimal problem:
论文链接：

http://cmp.felk.cvut.cz/minimal-iccv-2015/present/SMP-2015-Principles-Pajdla.pdf

  1. 问题公式——>代数方程
  2. 解代数方程
    在这里插入图片描述
    单一未知数——特征值
    在这里插入图片描述
    在这里插入图片描述
    余数明确定义的除数，不依赖于除数的顺序
    Groebner basis

https://zhuanlan.zhihu.com/p/262906557

Grobner基的功能类似于结式和特征列，可以用于解代数方程组。Grobner基不一定是三角列，但Grobner基的消元性质（Thm7.3.4）确保了变元的分离。所以可以从纯字典序的Grobner基求得一组多项式方程的解。所以我们需要计算最大公因式
线性方程——代数方程

通过构造Groebner basis求解多项式方程
1888：
大卫希尔伯特：有限性定理

1965：
Bruno Burchberger: Groebner bases
Computational procedure for solving systems
of polynomial equations
(Extremely simple: 20 lines of Maple code!)
求解系统的计算程序
多项式方程
（极其简单：20 行 Maple 代码！）
Gröbner基——Buchberger的发现，却以他导师的姓命名
A dynamic F4 algorithm to compute Gröbner bases

1998：
Hans Stetter：乘法矩阵
通过特征向量的稳定数值过程
在这里插入图片描述

Automa’c Generator of Minimal Problem(ECCV2008)

ECCV 2008

https://xueshu.baidu.com/usercenter/paper/show?paperid=de5e30310c5378bd033b9f0ba90e4da4&site=xueshu_se

Automatic Generator of Minimal Problem Solvers
在这里插入图片描述
在这里插入图片描述

在这里插入图片描述

斯图姆定理：

https://baike.baidu.com/item/%E6%96%AF%E5%9B%BE%E5%A7%86%E5%AE%9A%E7%90%86/18881160

https://zhuanlan.zhihu.com/p/164729380

在这里插入图片描述

代码：

https://github.com/PavelTrutman/Automatic-Generator/tree/development

% 
% P6P rolling shutter (eliminated)
function [eq, known, unknown, kngroups, cfg, algB] = minimal_rolling_shutter_generator_linear_I_planar()

g1 = transpose(gbs_Vector('g1', 8));
g2 = transpose(gbs_Vector('g2', 8));
g3 = transpose(gbs_Vector('g3', 8));
g4 = transpose(gbs_Vector('g4', 8));
g5 = transpose(gbs_Vector('g5', 8));
g6 = transpose(gbs_Vector('g6', 8));



syms v_1 v_2 v_3 w_1 w_2 w_3;


mon = [v_3*w_3 v_1 v_2 v_3,  w_1, w_2, w_3, 1];

cfg = gbs_InitConfig();

clear eq;


% g1(1) = 1
% g2(1)=0
% g3(1)=0
% g4(1)=1
% g5(1)=0
% g6(1)=0
% 
% g1(5)=0
% g2(5)=0
% g3(5)=0
% g4(5)=0
% g5(5)=0
% g6(5) = 1;
% 
% g1(6)=0
% g2(6)=0
% g3(6)=0
% g4(6)=0
% g5(6)=-1
% g6(6)=0
% 
% g1(7) = 0
% g2(7) = -1
% g3(7) = 1
% g4(7) = 0
% g5(7)=0
% g6(7)=0


eq(1) = v_1*w_1 + g1*transpose(mon);
eq(2) = v_1*w_2 + g2*transpose(mon);
eq(3) = v_2*w_1 + g3*transpose(mon);
eq(4) = v_2*w_2 + g4*transpose(mon);
eq(5) = v_3*w_1 + g5*transpose(mon);
eq(6) = v_3*w_2 + g6*transpose(mon);


% g1 = transpose(gbs_Vector('g1', 8));
% g2 = transpose(gbs_Vector('g2', 8));
% g3 = transpose(gbs_Vector('g3', 8));
% g4 = transpose(gbs_Vector('g4', 8));
% g5 = transpose(gbs_Vector('g5', 8));
% g6 = transpose(gbs_Vector('g6', 8));

unknown = {'v_1' 'v_2' 'v_3' 'w_1' 'w_2' 'w_3'};
vars = transpose([g1(:); g2(:); g3(:); g4(:); g5(:); g6(:)]);
known = {};
for var = vars
    known = [known {char(var)}];
end    

% create symbolic vars
for mon = unknown
    eval(['syms ' char(mon) ';']);
end

%cfg.eqinstance = R6P_planar_inst(cfg);

% call code generator
kngroups = ones(8,1)*[1 2 3 4 5 6];
%[res export] = gbs_CreateCode('p6p_rs_lin_I_planar', eq, known, unknown, kngroups);
algB = [];

%[A symcoefs] = rsSolver('imu3pr_peieg.m', eq, 'tan', unknown, known, kngroups);
end

Learning to Solve Hard Minimal Problems(CVPR2022)

https://theigrams.github.io/zjblog/2022/07/18/learning-to-solve-hard-minimal-problems.html

但是这篇论文的代码和结果不算特别好看，作为参考。
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

minimal problem

当从图像数据计算几何模型时会出现计算机视觉中的最小问题
这个网站里有比较全面的收录：

https://cmp.felk.cvut.cz/~kukelova/minimal/index.php

作者报告
github

https://www.docin.com/p-1684946348.html

4-pt absolute pose problem with unknown focal length (P4Pf)

从四个 3D 参考点的图像确定具有未知焦距的透视相机位姿的通用解决方案。
在这里插入图片描述

A general solution to the P4P problem for camera with unknown focal length（CVPR2008）

在这里插入图片描述
论文链接：
A general solution to the P4P problem for camera with unknown focal length

5-pt relative pose problem

从五个图像点对应估计两个完全校准相机的相对位姿。
在这里插入图片描述
相关论文
在这里插入图片描述

更多内容

6-pt focal length problem
在这里插入图片描述

8-pt radial distortion problem
在这里插入图片描述

9-pt radial distortion problem
从九个图像点对应的具有不同径向畸变的两个部分校准相机的对极几何和单参数径向畸变模型的同时估计。
在这里插入图片描述

3-view triangulation problem
三视图L2-最优三角剖分问题。
在这里插入图片描述

网络平台

百度学术

https://xueshu.baidu.com/s?wd=minimal+problem&tn=SE_baiduxueshu_c1gjeupa&ie=utf-8&sc_hit=1

CSDN

CVPR 2008 papers

Byr¨od, M., Kukelova, Z., Josephson, K., Pajdla, T., Astr¨ ˚ om, K.:
Fast and robust numerical solutions to minimal problems for cameras
with radial distortion. In: CVPR 2008 (2008)

Two minimal problems for cameras with radial distortion

https://schlr.cnki.net/en/Detail/index/GARJ2021_2/XQSPB7D061D4B0264289C699D9AA81C39AB8

arxiv

https://arxiv.org/search/?query=algorithm+to+compute+Gr%C3%B6bner+bases&searchtype=all&source=header

在这里插入图片描述

A clever elimination strategy for efficient minimal solvers

在这里插入图片描述

在这里插入图片描述

A fast minimal solver for absolute camera pose with unknown focal length and radial distortion from four planar points

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
这篇值得深读

GPU-Based Homotopy Continuation for Minimal Problems in Computer Vision

在这里插入图片描述

多项式⽅程组在计算机视觉中经常出现，尤其是在多视图⼏何问题中。解决这些
系统的传统⽅法通常旨在消除变量以达到单变量多项式，例如，⽤于 5 点姿态估
计的⼗阶多项式，使⽤巧妙的操作，或更⼀般地使⽤ Grobner 基础、结果和消除
模板，导致多视图⼏何和其他问题的成功算法。
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

Optimizing Elimination Templates by Greedy Parameter Search

矩阵运算参考
在这里插入图片描述

仿生程序员会梦见电子羊吗
关注
  • 0
    点赞
  • 踩
  • 4
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
CVPR 2018 best paper
06-20
CVPR2018最佳论文，《askonomy: Disentangling Task Transfer Learning》，针对视觉内的迁移学习任务提出新的解决思路和数据集
【论文笔记】Learning to Solve Hard Minimal Problems == ETH Zurich == CVPR‘2022 Best Paper
Nismilesucc的学习札记
07-27 1043
HardMinimalProblems来源于原始几何优化具有许多伪解的极小问题本文方法避免大量计算伪解本文设计了一个学习策略来选择对于问题和可能的解都是数值连续的初始problem-solutionpair本文开发了一个RANSAC求解器通过每个视图四点的最小松弛来求解三个已校准相机的相对位姿【HardMinimalProblems】...
Gröbner基方法入门第III部分:Gröbner基方法的应用
MinCong Luo的博客
09-03 3153
Gröbner基方法入门第III部分:Gröbner基方法的应用 Gröbner基理论是一种在国外被普遍认同的用于求解多变元高次方程系统的有效算法,其概念最早由Buchberger提出.其本质是从多项式环中任意理想的生成元出发,刻画和计算出一组具有“好的”性质的生成元,进而研究理想的结构并进行某些理想运算;由于数学、科学和工程学中的许多问题都可以用多元多项式方程组表示(例如,理想,模块和矩阵),Gröbner基的代数算法在理论物理学、应用科学和工程学中具有广泛的应用; 计算多项式理想 让我们先来了解如
Gröbner基的简单介绍与一些参考文献
qq_33458986的博客
02-06 3348
关于sage：sage是一个相当全面的数学工具（sage帮助文档），第三届红帽杯和其他大大小小比赛都有相关的sage写的题目。 这里介绍红帽杯中的Related一题，题目大致是，三个不同的明文通过RSA加密后的密文已知，公钥也已知，同时三个明文的和也已知，其实上述这些条件已经可以解出答案了，但是题目还给出了两个无关的信息，这是我觉得题目可能要混淆人的地方，总结下来，就是解答下面这个方程组： x0+...
Gröbner基方法入门第I部分:项序和约化
MinCong Luo的博客
09-03 2669
Gröbner基方法入门第I部分:项序和约化 理想的准素分解与矩阵分解是计算代数的核心问题,它们在计算机代数、计算代数几何、代数编码和密码学、多维系统理论等学科都有非常重要的理论意义与应用价值.Gröbner基理论是研究理想的准素分解与矩阵素分解的重要工具之一.更简单地概括:Gröbner基方法是从任意一个多项式理想的一组给定生成元,计算另一组性质良好的生成元,并称为该理想的Gröbner基.它能用来判定任意多项式是否属于该理想. Gröbner基的代数算法是Buchberger在1960年代开发的,并
smo.rar_minimal
09-19
"smo.rar_minimal" 这个文件名暗示了我们关注的是一个关于"Sequential Minimal Optimization"（SMO）的压缩包，其中"minimal"可能指的是算法的最小化版本或者是最基本的核心内容。SMO是支持向量机（SVM）中的一个...
Bootstrap Minimal v1.3
07-20
Bootstrap Minimal v1.3 是一个基于Bootstrap框架的前端设计模板，专为网页开发人员和设计师设计。Bootstrap是最流行且广泛使用的HTML、CSS和JS框架，它简化了网页开发过程，提供了响应式布局和一系列预定义的组件，...
Bootstrap后台模板Minimal
05-24
Bootstrap后台模板Minimal是一款基于Bootstrap框架设计的简洁后台管理界面模板，特别适合美工人员和初学者作为参考。Bootstrap是Twitter推出的一个开源的用于前端开发的工具包，它包含了一系列CSS和JavaScript组件，...
minimal主题文件
09-30
rEFInd-minimal主题配置文件，还有一配套的refind.conf，适合安装好rEFInd-minimal主题却懒得配置的小伙伴，本人亲改，漂亮的苹果风
ga.rar_GA_minimal
最新发布
09-23
标题“ga.rar_GA_minimal”暗示了这是一个关于使用遗传算法（GA）寻找最小值的项目。遗传算法是一种模拟自然选择和遗传原理的优化技术，常用于解决复杂问题的求解，比如寻找函数的全局最小值。 描述中的“find ...
论文研究-基于整数方程的逻辑方程组求解方法研究.pdf
09-07
为快速有效地求解大量逻辑方程组，根据逻辑运算的特点详细阐述了将逻辑方程转化成等效整数方程的原理和方法，并对得到的整数方程进行化简，提出了整数方程组的一般求解方法，即吴方法和Grobner基理论。接着给出并完善了一种基于快速多项式乘法的消元法，大大降低了求解的复杂度，最后将基于整数方程的逻辑方程组求解方法应用于故障诊断，并举例验证。
应用Groebner基方法求解代数方程组的解 (2007年)
05-26
在字典序下计算方程组的多项式生成的理想的Groebner基G，根据Groebner基G中单变元多项式的解，依次递推求出多项式方程组的解。通过求解多项式函数条件极值问题的一般步骤和具体实例说明该方法的计算过程。
有限域上基于Gr?bner基的高级综合优化方法 (2010年)
05-17
提出了基于多项式符号代数的高级综合方法，并使用元件库中的元件构建多项式符号代数所表示的数据通路，计算出其Grobner基。利用Grbner基对多项式进行一些基本操作，例如，多变元多项式分解、最大公因式提取、库单元映射等，从而实现了有限域上的数据通路优化。最后进行了算法复杂性分析和实验，实验在SUN工作站上通过调用Maple10来完成，实验结果证实了本方法的有效性。
Grobner基生成算法的并行.
04-09
西安交大精品论文，方便你写相关论文，是参考的好资料
浅谈CVPR2022的几个研究热点
热门推荐
06-25 1万+
CVPR2022刚刚结束，作为影响力最广的视觉盛会，今年又有一批优秀的工作被展示出来。相信关注视觉最新研究进展的各位小伙伴，已经磨拳擦掌，准备向CVPR2023投稿了。基于今年的工作，到底哪些领域是CVPR关注的热点？哪些领域的工作，接受度更高，oral的比例更大呢？基于CVPR官方最新的统计信息，我将跟大家聊聊CVPR的一些研究热点，希望对那些计划投下一轮CVPR的同学提供一点参考信息。............
UNIX 工作站上的数学工具
李华栋的专栏
05-12 682
 UNIX 工作站上的数学工具数学是科学之王UNIX® 有许多工具可供使用，它们可以满足您的数学启蒙要求。其中有些工具是内置的；大多数则是下载保存的。本文将向您展示 UNIX 工作站上通往数学殿堂之路。谈到数学，并不缺乏相关的计算机软件包。数学是程序员和分析人员的流行主题，从而导致了大量不同的工具可供选择。 数学是科学之王。数学工作站的商业使用群体非常庞大：从基础工程到设计创意
高斯消元法 思路及模板代码
Alkali!的博客
02-14 1056
思路及步骤 最后的到一个（近似）阶梯形矩阵 再把它化简成近似单位矩阵，即可得到解 模板代码 在这里插入代码片
Gröbner基方法入门第II部分:Gröbner基和Buchberger算法
MinCong Luo的博客
09-03 3196
Gröbner基方法入门第II部分:Gröbner基和Buchberger算法 在之前的博客文章中我介绍了一些多项式代数的基本概念,在这篇文章中我们将介绍Gröbner基的基本理论和计算Gröbner基的Buchberger算法; Gröbner基和Buchberger算法 Gröbner基的概念来源于B.Buchberger的博士论文.考虑最简单的情形,K\mathcal{K}K为域,K[x]\mathcal{K}[\boldsymbol{x}]K[x]是一元多项式环.J\mathcal{J}J为K
7 Papers & Radios | CVPR 2022最佳/最佳学生论文；大型语言模型教会智能体进化
数据派THU
07-12 936
来源：机器之心 本文约3700字，建议阅读5分钟本周重要论文包括：CVPR 2022各种获奖论文。目录Learning to Solve Hard Minimal ProblemsDual-Shutter Optical Vibration SensingEPro-PnP: Generalized End-to-End Probabilistic Perspective-...
Minimal Perl：为Unix和Linux用户简化的编程语言
通过Damian的指导和支持，作者得以有信心将Minimal Perl的方法论整理成书。 《Minimal Perl For UNIX and Linux People》是一本面向Unix和Linux背景的读者，旨在提供一条简洁易懂的学习Perl路径的教程。书中强调...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值