arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Luke Mathieson

30 papers · 2005–2025

2005: 12006: 02007: 02008: 22009: 02010: 22011: 22012: 12013: 22014: 02015: 12016: 32017: 02018: 12019: 22020: 32021: 02022: 42023: 12024: 42025: 1
2005peak 4 in 20222025

Frequent co-authors

Papers

showing 1–25 of 30 RSS

A Comparison of Three Popular Source code Similarity Tools for Detecting Student Plagiarism

Alireza Ahadi, Luke Mathieson

Safety Research · UTS ePRESS (University of Technology Sydney) · · cited 28× · DOI ↗ · more like this ·

This paper investigates automated code plagiarism detection in the context of an undergraduate level data structures and algorithms module. We compare three software tools which aim to detect plagiarism in the students' programming source code. We evaluate the performance of these tools on an individual basis and the degree of agreement between them. Based on this evaluation we show that the degree of agreement between these tools is relatively low. We also report the challenges faced during utilization of these methods and suggest possible future improvements for tools of this kind. The discrepancies in the results obtained by these detection techniques were used to devise guidelines for effectively detecting code plagiarism.

The parameterized complexity of regular subgraph problems and generalizations

Luke Mathieson, Stefan Szeider

Computational Theory and Mathematics · Computing: The Australasian Theory Symposium · · cited 23× · OpenAlex ↗ · more like this ·

We study variants and generalizations of the problem of finding an r-regular subgraph (where r ≤ 3) in a given graph by deleting at most k vertices. Moser and Thilikos (2006) have shown that the problem is fixed-parameter tractable (FPT) if parameterized by (k, r). They asked whether the problem remains fixed-parameter tractable if parameterized by k alone. We answer this question negatively: we show that if parameterized by k alone the problem is W[1]-hard and therefore very unlikely fixed-parameter tractable. We also give W[1]-hardness results for variants of the problem where the parameter is the number of vertex and edge deletions allowed, and for a new generalized form of the problem where the obtained subgraph is not necessarily regular but its vertices have certain prescribed degrees. Following this we demonstrate fixed-parameter tractability for the considered problems if the…

A Kernelisation Approach for Multiple d-Hitting Set and Its Application in Optimal Multi-Drug Therapeutic Combinations

Drew Mellor, Elena Prieto, Luke Mathieson +1 more

Computational Theory and Mathematics · PLoS ONE · · cited 22× · DOI ↗ · more like this ·

Therapies consisting of a combination of agents are an attractive proposition, especially in the context of diseases such as cancer, which can manifest with a variety of tumor types in a single case. However uncovering usable drug combinations is expensive both financially and temporally. By employing computational methods to identify candidate combinations with a greater likelihood of success we can avoid these problems, even when the amount of data is prohibitively large. Hitting Set is a combinatorial problem that has useful application across many fields, however as it is NP-complete it is traditionally considered hard to solve exactly. We introduce a more general version of the problem (α,β,d)-Hitting Set, which allows more precise control over how and what the hitting set targets. Employing the framework of Parameterized Complexity we show that despite being NP-complete, the…

Synergies in critical reflective practice and science: Science as reflection and reflection as science

Luke Mathieson

Education · Journal of University Teaching and Learning Practice · · cited 16× · DOI ↗ · more like this ·

The conceptions of reflective practice in education have their roots at least partly in the work of Dewey, who describes reflection as “the active, persistent, and careful consideration of any belief or supposed form of knowledge in the light of the grounds that support it and the further conclusions to which it tends” (Dewey 1933, p.9). This conception of reflection has carried on into more-focused efforts to describe critical reflection as a tool for improving professional practice (where academic and educational practice is the particular interest of this study); “… some puzzling or troubling or interesting phenomenon” allows the practitioner to access “the understandings which have been implicit in his action, understandings which he surfaces, criticizes, restructures, and embodies in further action” (Schön 1983, p. 50). Both of these descriptions embody a central idea of critical…

Hierarchical Clustering Using the Arithmetic-Harmonic Cut: Complexity and Experiments

Roméo Rizzi, Pritha Mahata, Luke Mathieson +1 more

Artificial Intelligence · PLoS ONE · · cited 15× · DOI ↗ · more like this ·

Clustering, particularly hierarchical clustering, is an important method for understanding and analysing data across a wide variety of knowledge domains with notable utility in systems where the data can be classified in an evolutionary context. This paper introduces a new hierarchical clustering problem defined by a novel objective function we call the arithmetic-harmonic cut. We show that the problem of finding such a cut is NP-hard and APX-hard but is fixed-parameter tractable, which indicates that although the problem is unlikely to have a polynomial time algorithm (even for approximation), exact parameterized and local search based techniques may produce workable algorithms. To this end, we implement a memetic algorithm for the problem and demonstrate the effectiveness of the arithmetic-harmonic cut on a number of datasets including a cancer type dataset and a corona virus dataset.…

The electronic primaries: predicting the U.S. presidency using feature selection with safe data reduction

Pablo Moscato, Luke Mathieson, Alexandre Mendes +1 more

Signal Processing · · cited 13× · OpenAlex ↗ · more like this ·

The data mining inspired problem of finding the critical, and most useful features to be used to classify a data set, and construct rules to predict the class of future examples is an interesting and important problem. It is also one of the most useful problems with applications in many areas such as microarray analysis, genomics, proteomics, pattern recognition, data compression and knowledge discovery. Expressed as k-Feature Set it is also a formally hard problem. In this paper we present a method for coping with this hardness using the combinatorial optimisation and parameterized complexity inspired technique of sound reduction rules. We apply our method to an interesting data set which is used to predict the winner of the popular vote in the U.S. presidential elections. We demonstrate the power and flexibility of the reductions, especially when used in the context of the (#…

On the Feasibility of Maintenance Algorithms in Dynamic Graphs

Arnaud Casteigts, Bernard Mans, Luke Mathieson

cs.CC · · cited 7× · arXiv ↗ · more like this ·

Near ubiquitous mobile computing has led to intense interest in dynamic graph theory. This provides a new and challenging setting for algorithmics and complexity theory. For any graph-based problem, the rapid evolution of a (possibly disconnected) graph over time naturally leads to the important complexity question: is it better to calculate a new solution from scratch or to adapt the known solution on the prior graph to quickly provide a solution of guaranteed quality for the changed graph? In this paper, we demonstrate that the former is the best approach in some cases, but that there are cases where the latter is feasible. We prove that, under certain conditions, hard problems cannot even be approximated in any reasonable complexity bound --- i.e., even with a large amount of time, having a solution to a very similar graph does not help in computing a solution to the current graph.…

Separating Sets of Strings by Finding Matching Patterns is Almost Always Hard

Giuseppe Lancia, Luke Mathieson, Pablo Moscato

cs.CC · · cited 5× · arXiv ↗ · more like this ·

We study the complexity of the problem of searching for a set of patterns that separate two given sets of strings. This problem has applications in a wide variety of areas, most notably in data mining, computational biology, and in understanding the complexity of genetic algorithms. We show that the basic problem of finding a small set of patterns that match one set of strings but do not match any string in a second set is difficult (NP-complete, W[2]-hard when parameterized by the size of the pattern set, and APX-hard). We then perform a detailed parameterized analysis of the problem, separating tractable and intractable variants. In particular we show that parameterizing by the size of pattern set and the number of strings, and the size of the alphabet and the number of strings give FPT results, amongst others.

Accelerating Learning with AI: Improving Students’ Capability to Receive and Build Automated Feedback for Programming Courses

Huan Huo, Xiaoyu Ding, Zhihao Guo +6 more

Computer Science Applications · · cited 4× · DOI ↗ · more like this ·

Generative AI (GenAI) based tutoring assistance has shown great potential in delivering adaptive and personalized education. The programming subjects, boasting a large on-campus student body and an active online presence via discussion boards, are well-suited for evaluating the accessibility, engagement, and satisfaction of GenAI-based tutoring assistance. In this paper, we explore the pros and cons of a GenAI-based feedback system, specifically fine-tuning a Large Language Model (LLM), as a potential tool for providing personalized programming subject matter expertise and guiding students towards solutions with interpretability and visualization. To better address the technical issues students encounter in programming and ensure our model provides accurate and professional debugging solutions, we further develop a visualized interaction tool for code interpretation and prompts…

On the Evidence for a Learning Hierarchy in Data Structures Exams

Thomas Pelchen, Luke Mathieson, Raymond Lister

Computer Science Applications · UTS ePRESS (University of Technology Sydney) · · cited 4× · DOI ↗ · more like this ·

Several previous research studies have found a relationship between the ability of novices to trace and explain code, and the ability to write code. Harrington and Cheng refer to that relationship as the Learning Hierarchy. However, almost all of those studies examined students at the end of their first semester of learning to program (i.e. CS1). This paper is only the third paper to describe a study of explain in plain English questions on students at the end of an introductory data structures course. The preceding two papers reached contradictory conclusions. Corney et al. presented results consistent with the Learning Hierarchy identified in the CS1 studies. However, Harrington and Cheng presented results for data structures students suggesting that the hierarchy reversed by the time students had progressed to the level of learning about data structures; that is, tracing and…

ArAl

Alireza Ahadi, Raymond Lister, Luke Mathieson

Computer Science Applications · UTS ePRESS (University of Technology Sydney) · · cited 3× · DOI ↗ · more like this ·

Several systems that collect data from students' problem solving processes exist. Within computing education research, such data has been used for multiple purposes, ranging from assessing students' problem solving strategies to detecting struggling students. To date, however, the majority of the analysis has been conducted by individual researchers or research groups using case by case methodologies.

Graph Editing Problems with Extended Regularity Constraints

Luke Mathieson

cs.CC · · cited 3× · arXiv ↗ · more like this ·

Graph editing problems offer an interesting perspective on sub- and supergraph identification problems for a large variety of target properties. They have also attracted significant attention in recent years, particularly in the area of parameterized complexity as the problems have rich parameter ecologies. In this paper we examine generalisations of the notion of editing a graph to obtain a regular subgraph. In particular we extend the notion of regularity to include two variants of edge-regularity along with the unifying constraint of strong regularity. We present a number of results, with the central observation that these problems retain the general complexity profile of their regularity-based inspiration: when the number of edits $k$ and the maximum degree $r$ are taken together as a combined parameter, the problems are tractable (i.e. in \FPT{}), but are otherwise intractable. We…

A Proof Checking View of Parameterized Complexity

Luke Mathieson

cs.CC · · cited 3× · arXiv ↗ · more like this ·

The PCP Theorem is one of the most stunning results in computational complexity theory, a culmination of a series of results regarding proof checking it exposes some deep structure of computational problems. As a surprising side-effect, it also gives strong non-approximability results. In this paper we initiate the study of proof checking within the scope of Parameterized Complexity. In particular we adapt and extend the PCP[n log log n, n log log n] result of Feige et al. to several parameterized classes, and discuss some corollaries.

Better Understanding of Humans for Cooperative AI through Clustering

Edward Su, William Raffe, Luke Mathieson +1 more

Computer Vision and Pattern Recognition · Figshare · · cited 1× · DOI ↗ · more like this ·

Cooperative AI and AI alignment research are increasingly important fields of study as machine learning models are becoming more prevalent in society. Applications such as self-driving cars, realistic AI in games, and human-AI teams, all require further advancement in cooperative and alignment research before more widespread applications can be achieved. However, research in these fields has typically lagged behind other machine learning applications due to the difficulty of creating models that are robust to and can adapt to novel human partners. We attempt to address this through the creation of a framework that uses Archetypal Analysis, a unique clustering algorithm that finds extremal ‘archetype’ points in a dataset and expresses each other point as a convex combination of these archetypes. This framework creates understandable archetypes of players which a reinforcement learning…

Quantum Parameterized Complexity

Michael J. Bremner, Zhengfeng Ji, Ryan L. Mann +3 more

quant-ph · · cited 1× · arXiv ↗ · more like this ·

Parameterized complexity theory was developed in the 1990s to enrich the complexity-theoretic analysis of problems that depend on a range of parameters. In this paper we establish a quantum equivalent of classical parameterized complexity theory, motivated by the need for new tools for the classifications of the complexity of real-world problems. We introduce the quantum analogues of a range of parameterized complexity classes and examine the relationship between these classes, their classical counterparts, and well-studied problems. This framework exposes a rich classification of the complexity of parameterized versions of QMA-hard problems, demonstrating, for example, a clear separation between the Quantum Circuit Satisfiability problem and the Local Hamiltonian problem.

A Bibliometrics Analysis of Australasian Computing Education Conference Proceedings

Alireza Ahadi, Luke Mathieson

Computer Science Applications · · cited 1× · DOI ↗ · more like this ·

The Australasian Computing Education (ACE) conference is one of the key attractions for the computer science education research community, particularly in the Asia-Pacific region. Throughout its twenty three sessions, different authors representing multiple affiliations have submitted their research papers to ACE. The aim of this study is to identify the main topics that have been of interest to the ACE community and analyse the trends in topics and their evolution throughout time. We use a Bibliometrics approach to explore the metadata of all research papers published in ACE and report on the results of our analysis.

Syntax error based quantification of the learning progress of the novice programmer

Alireza Ahadi, Raymond Lister, Luke Mathieson

Computer Science Applications · UTS ePRESS (University of Technology Sydney) · · cited 1× · DOI ↗ · more like this ·

Recent data-driven research has produced metrics for quantifying a novice programmer's error profile, such as Jadud's error quotient. However, these metrics tend to be context dependent and contain free parameters. This paper reviews the caveats of such metrics and proposes a more general approach to developing a metric. The online implementation of the proposed metric is publicly available at http://online-analysis-demo.herokuapp.com/.

On the Treewidth of Dynamic Graphs

Bernard Mans, Luke Mathieson

cs.CC · · cited 1× · arXiv ↗ · more like this ·

Dynamic graph theory is a novel, growing area that deals with graphs that change over time and is of great utility in modelling modern wireless, mobile and dynamic environments. As a graph evolves, possibly arbitrarily, it is challenging to identify the graph properties that can be preserved over time and understand their respective computability. In this paper we are concerned with the treewidth of dynamic graphs. We focus on metatheorems, which allow the generation of a series of results based on general properties of classes of structures. In graph theory two major metatheorems on treewidth provide complexity classifications by employing structural graph measures and finite model theory. Courcelle's Theorem gives a general tractability result for problems expressible in monadic second order logic on graphs of bounded treewidth, and Frick & Grohe demonstrate a similar result for first…

Relational Algebras for Subset Selection and Optimisation

David Robert Pratten, Luke Mathieson, Fahimeh Ramezani

cs.DB · · cited 0× · arXiv ↗ · more like this ·

The database community lacks a unified relational query language for subset selection and optimisation queries, limiting both user expression and query optimiser reasoning about such problems. Decades of research (latterly under the rubric of prescriptive analytics) have produced powerful evaluation algorithms with incompatible, ad-hoc SQL extensions that specify and filter through distinct mechanisms. We present the first unified algebraic foundation for these queries, introducing relational exponentiation to complete the fundamental algebraic operations alongside union (addition) and cross product (multiplication). First, we extend relational algebra to complete domain relations-relations defined by characteristic functions rather than explicit extensions-achieving the expressiveness of NP-complete/hard problems, while simultaneously providing query safety for finite inputs. Second…

Relational Expressions for Data Transformation and Computation

David Robert Pratten, Luke Mathieson

cs.DB · · cited 0× · arXiv ↗ · more like this ·

Separate programming models for data transformation (declarative) and computation (procedural) impact programmer ergonomics, code reusability and database efficiency. To eliminate the necessity for two models or paradigms, we propose a small but high-leverage innovation: the introduction of complete relations into the relational database. Complete relations and the discipline of constraint programming, which concerns them, are founded on the same algebra as relational databases. We claim that by synthesising the relational database of Codd and Date, with the results of the constraint programming community, the relational model holistically offers programmers a single declarative paradigm for both data transformation and computation, reusable code with computations that are indifferent to what is input and what is output, and efficient applications with the query engine optimising and…

Parameterized Complexity of Weighted Local Hamiltonian Problems and the Quantum Exponential Time Hypothesis

Michael J. Bremner, Zhengfeng Ji, Xingjian Li +2 more

cs.CC · · cited 0× · arXiv ↗ · more like this ·

We study a parameterized version of the local Hamiltonian problem, called the weighted local Hamiltonian problem, where the relevant quantum states are superpositions of computational basis states of Hamming weight $k$. The Hamming weight constraint can have a physical interpretation as a constraint on the number of excitations allowed or particle number in a system. We prove that this problem is in QW[1], the first level of the quantum weft hierarchy and that it is hard for QM[1], the quantum analogue of M[1]. Our results show that this problem cannot be fixed-parameter quantum tractable (FPQT) unless certain natural quantum analogue of the exponential time hypothesis (ETH) is false.

The Unexpected Virtue of Problem Reductions or How to Solve Problems Being Lazy but Wise

Luke Mathieson, Pablo Moscato

Artificial Intelligence · NOVA (University of Newcastle Australia) · · cited 0× · DOI ↗ · more like this ·

The generalization of one problem to another is a useful technique in theoretical computer science; reductions among problems are a well established mathematical approach to demonstrate the structural relationships between problems. However, most of the reductions used to obtain theoretical results are relatively coarse-grained and chosen for their amenability in supporting mathematical proof, and represent a selection amongst many possible reduction schemas. We propose reexamining reductions as a practical tool, since choosing one reduction scheme over another may be decisive in solving a given instance in practical settings. In this work, we examine the impact of several new reduction schema. A total of 100 experiments were conducted using challenging Hamiltonian Cycle Problem instances using Concorde, a well known and effective TSP solver, and example of a complete memetic algorithm…

On the Parameterised Complexity of Induced Multipartite Graph Parameters

Ryan L. Mann, Luke Mathieson, Catherine Greenhill

cs.CC · · cited 0× · arXiv ↗ · more like this ·

We introduce a family of graph parameters, called induced multipartite graph parameters, and study their computational complexity. First, we consider the following decision problem: an instance is an induced multipartite graph parameter $p$ and a given graph $G$, and for natural numbers $k\geq2$ and $\ell$, we must decide whether the maximum value of $p$ over all induced $k$-partite subgraphs of $G$ is at most $\ell$. We prove that this problem is W[1]-hard. Next, we consider a variant of this problem, where we must decide whether the given graph $G$ contains a sufficiently large induced $k$-partite subgraph $H$ such that $p(H)\leq\ell$. We show that for certain parameters this problem is para-NP-hard, while for others it is fixed-parameter tractable.

Complete Balancing via Rotation

Fabrizio Luccio, Bernard Mans, Luke Mathieson +1 more

Artificial Intelligence · The Computer Journal · · cited 0× · DOI ↗ · more like this ·

Trees are a fundamental structure in algorithmics. In this paper, we study the transformation of an arbitrary binary tree S with n vertices into a completely balanced tree T via rotations , a widely studied elementary tree operation. Combining concepts on rotation distance and data structures, we give a basic algorithm that performs the transformation in Θ( n ) time and Θ(1) space, making at most 2 n − 2 log 2n rotations and improving on known previous results. The algorithm is then improved, exploiting particular properties of S . Finally, we show tighter upper bounds and obtain a close lower bound on the rotation distance between a zig-zag tree and a completely balanced tree. We also find the exact rotation distance of a particular almost balanced tree to a completely balanced tree, and thus show that their distance is quite large despite the similarity of the two trees.