Vittorio Bauduin , Salvatore Cuomo , Vincenzo Schiano Di Cola
{"title":"构造神经网络结构的约束满足方法","authors":"Vittorio Bauduin , Salvatore Cuomo , Vincenzo Schiano Di Cola","doi":"10.1016/j.cam.2025.117140","DOIUrl":null,"url":null,"abstract":"<div><div>This work presents a novel numerical and quantitative methodology grounded in Constraint Satisfaction Problem (CSP) theory, aimed at developing a specialized tool for the structural analysis of fully connected, feed-forward Neural Networks (NNs). The proposed approach enables a systematic exploration of neuron configurations within the hidden layers.</div><div>A backtracking search algorithm was specifically designed to traverse the space of admissible architectural parameters, thereby implementing a constrained combinatorial strategy for neural network architecture exploration. This study introduces a practical tool for researchers aiming to identify diverse neuronal organizational patterns within hidden layers, subject to predefined hyperparameter constraints.</div><div>The proposed algorithm was subsequently validated by exhaustively exploring all feasible architectural configurations for solving a two-dimensional Poisson equation using a Physics-Informed Neural Network (PINN).</div></div>","PeriodicalId":50226,"journal":{"name":"Journal of Computational and Applied Mathematics","volume":"476 ","pages":"Article 117140"},"PeriodicalIF":2.6000,"publicationDate":"2025-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Constraint satisfaction approach in structuring neural network architectures\",\"authors\":\"Vittorio Bauduin , Salvatore Cuomo , Vincenzo Schiano Di Cola\",\"doi\":\"10.1016/j.cam.2025.117140\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>This work presents a novel numerical and quantitative methodology grounded in Constraint Satisfaction Problem (CSP) theory, aimed at developing a specialized tool for the structural analysis of fully connected, feed-forward Neural Networks (NNs). The proposed approach enables a systematic exploration of neuron configurations within the hidden layers.</div><div>A backtracking search algorithm was specifically designed to traverse the space of admissible architectural parameters, thereby implementing a constrained combinatorial strategy for neural network architecture exploration. This study introduces a practical tool for researchers aiming to identify diverse neuronal organizational patterns within hidden layers, subject to predefined hyperparameter constraints.</div><div>The proposed algorithm was subsequently validated by exhaustively exploring all feasible architectural configurations for solving a two-dimensional Poisson equation using a Physics-Informed Neural Network (PINN).</div></div>\",\"PeriodicalId\":50226,\"journal\":{\"name\":\"Journal of Computational and Applied Mathematics\",\"volume\":\"476 \",\"pages\":\"Article 117140\"},\"PeriodicalIF\":2.6000,\"publicationDate\":\"2025-10-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Computational and Applied Mathematics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0377042725006545\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Computational and Applied Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0377042725006545","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
Constraint satisfaction approach in structuring neural network architectures
This work presents a novel numerical and quantitative methodology grounded in Constraint Satisfaction Problem (CSP) theory, aimed at developing a specialized tool for the structural analysis of fully connected, feed-forward Neural Networks (NNs). The proposed approach enables a systematic exploration of neuron configurations within the hidden layers.
A backtracking search algorithm was specifically designed to traverse the space of admissible architectural parameters, thereby implementing a constrained combinatorial strategy for neural network architecture exploration. This study introduces a practical tool for researchers aiming to identify diverse neuronal organizational patterns within hidden layers, subject to predefined hyperparameter constraints.
The proposed algorithm was subsequently validated by exhaustively exploring all feasible architectural configurations for solving a two-dimensional Poisson equation using a Physics-Informed Neural Network (PINN).
期刊介绍:
The Journal of Computational and Applied Mathematics publishes original papers of high scientific value in all areas of computational and applied mathematics. The main interest of the Journal is in papers that describe and analyze new computational techniques for solving scientific or engineering problems. Also the improved analysis, including the effectiveness and applicability, of existing methods and algorithms is of importance. The computational efficiency (e.g. the convergence, stability, accuracy, ...) should be proved and illustrated by nontrivial numerical examples. Papers describing only variants of existing methods, without adding significant new computational properties are not of interest.
The audience consists of: applied mathematicians, numerical analysts, computational scientists and engineers.